Monad Transformers add capabilities to other Monads The order of a Monad Transformer stack defines its semantics