Control.Monad.Trans.Identity.Tagged
The tagged identity monad transformer
data
TaggedT
tag f a
mapTaggedT
Lifting other operations
liftCallCC
liftCatch