Control.Comonad.Trans.Identity

data IdentityT m a