Control.Monad.Trans.Identity.Tagged

The tagged identity monad transformer

data TaggedT tag f a

mapTaggedT

Lifting other operations

liftCallCC

liftCatch