Concrete functor and monad transformers