Control.Monad.Trans.Either
data
EitherT
e m a
eitherT
bimapEitherT
mapEitherT
hoistEither
left
right