Applicative
orAlt
orEmpty
eitherA
purer
liftAA2
(<<*>>)