| PAp | Control.Functor.Combinators.Biff | 
| pap | Control.Applicative.Parameterized, Control.Monad.Parameterized, Control.Monad.Free | 
| PApplicative | Control.Applicative.Parameterized, Control.Monad.Parameterized, Control.Monad.Free | 
| papPMonad | Control.Monad.Parameterized, Control.Monad.Free | 
| Para | Control.Morphism.Para | 
| para | Control.Morphism.Para | 
| parallelW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply | 
| ParaT | Control.Morphism.Para | 
| paugment | Control.Functor.Fix | 
| pbind | Control.Monad.Parameterized, Control.Monad.Free | 
| pcoaugment | Control.Functor.Fix | 
| PCofree | Control.Functor.Combinators.Biff | 
| pcofree | Control.Functor.Combinators.Biff | 
| PComonad | Control.Comonad.Parameterized | 
| PCopointed | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply, Control.Comonad.Parameterized | 
| pextend | Control.Comonad.Parameterized | 
| pextract | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply, Control.Comonad.Parameterized | 
| PFree | Control.Functor.Combinators.Biff, Control.Monad.Free | 
| pfree | Control.Functor.Combinators.Biff | 
| PFunctor | Control.Functor | 
| PHyper |  | 
| 1 (Type/Class) | Control.Monad.Hyper | 
| 2 (Data Constructor) | Control.Monad.Hyper | 
| pjoin | Control.Monad.Parameterized, Control.Monad.Free | 
| PMonad | Control.Monad.Parameterized, Control.Monad.Free | 
| point | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply | 
| Pointed | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply | 
| PointedCompF |  | 
| 1 (Type/Class) | Control.Functor.Pointed.Composition | 
| 2 (Data Constructor) | Control.Functor.Pointed.Composition | 
| Pointer |  | 
| 1 (Type/Class) | Control.Comonad.Pointer | 
| 2 (Data Constructor) | Control.Comonad.Pointer | 
| PostCompF |  | 
| 1 (Type/Class) | Control.Functor.Pointed.Composition | 
| 2 (Data Constructor) | Control.Functor.Pointed.Composition | 
| PostFold | Control.Functor.Extras | 
| postFold | Control.Functor.Extras | 
| postpro | Control.Morphism.Postpro | 
| postpro_apo | Control.Morphism.Apo | 
| postpro_futu | Control.Morphism.Futu | 
| postTransform | Control.Functor.Composition | 
| PostUnfold | Control.Functor.Extras | 
| postUnfold | Control.Functor.Extras | 
| PPointed | Control.Functor.Pointed, Control.Applicative.Parameterized, Control.Monad.Parameterized, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply, Control.Monad.Free | 
| PreCartesian | Control.Category.Cartesian | 
| PreCoCartesian | Control.Category.Cartesian | 
| PreCompF |  | 
| 1 (Type/Class) | Control.Functor.Pointed.Composition | 
| 2 (Data Constructor) | Control.Functor.Pointed.Composition | 
| PreFold | Control.Functor.Extras | 
| preFold | Control.Functor.Extras | 
| premap | Control.Functor.Full | 
| prepro | Control.Morphism.Prepro | 
| prepro_histo | Control.Morphism.Histo | 
| prepro_para | Control.Morphism.Para | 
| prepro_zygo | Control.Morphism.Zygo | 
| preTransform | Control.Functor.Composition | 
| preturn | Control.Functor.Pointed, Control.Applicative.Parameterized, Control.Monad.Parameterized, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply, Control.Monad.Free | 
| PreUnfold | Control.Functor.Extras | 
| preUnfold | Control.Functor.Extras | 
| putC | Control.Comonad.Context |