Control.Monad.Trans.Identity

The identity monad transformer

data IdentityT f a

mapIdentityT

Lifting other operations

liftCatch

liftCallCC