Control.PFunctor
Functors over Proxies
class
PFunctor
t
raiseP