 Monad transformer

A construction taking a computational monad $M$ to another computational monad $TM$, normally with a lift from $MA$ to $TMA$. The order of monad transformers can affect which information survives an exception or a control transfer.