concrete functor and monad transformers (fork of ross's transformers)