pure

Applicative EitherT

pureLeft

EitherT