Control.Monad.Trans.Identity

The identity monad transformer

data IdentityT m a

mapIdentityT

Lifting other operations

liftCatch

liftCallCC