concrete functor and monad transformers
For reference, https://github.com/haskell/mtl/issues/153
added, thanks