pure

Applicative EitherT OptionT

pureLeft

EitherT