Control.Proxy.Trans.Identity

IdentityP

data IdentityP p a' a b' b m r

runIdentityK