leftFlatMap

EitherT

leftMap

EitherT