Applicative

orAlt

orEmpty

eitherA

liftAA2

purer

(<<*>>)