Control.PFunctor
Functors over Proxies
class
PFunctor
t
hoistPK
raiseP
raisePK