Control.Monad.Trans.Either

data EitherT e m a

eitherT

bimapEitherT

mapEitherT

hoistEither

left

right