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