concrete functor and monad transformers

#43Can "M2" be used instead of "... T"?