Applicative

orAlt

orEmpty

eitherA

liftAA2

pass

purer

(<<*>>)