Monad transformers and related stuff.