flatMap
EitherT
WriterT