Removed PFunctor/PContravariant. We now just use naturality and fmap/contramap