Prove MFunctor for EitherT