Concrete functor and monad transformers
