Monad transformers are an abstraction for combining monads. This allows you to compose different computational effects, building up precisely controlled computational environments.
