More on monad transformers