Trimmed unneeded quantification from PFunctor class
Generalized hoistP signature