Sensible conversions between MaybeT and EitherT monad transfomers