Control.Monad.Trans.Identity

The identity monad transformer

data IdentityT m a

Lifting other operations