| Pair | |
| 1 (Type/Class) | Data.Parameterized.Pair, Data.Parameterized, Data.Parameterized.Map |
| 2 (Data Constructor) | Data.Parameterized.Pair, Data.Parameterized, Data.Parameterized.Map |
| PairS | |
| 1 (Type/Class) | Data.Parameterized.Utils.BinTree |
| 2 (Data Constructor) | Data.Parameterized.Utils.BinTree |
| Peano | Data.Parameterized.Peano |
| peanoLength | Data.Parameterized.Peano |
| PeanoRepr | Data.Parameterized.Peano |
| peanoValue | Data.Parameterized.Peano |
| PeanoView | Data.Parameterized.Peano |
| peanoView | Data.Parameterized.Peano |
| Plus | Data.Parameterized.Peano |
| plusComm | Data.Parameterized.NatRepr, Data.Parameterized |
| plusCtxSizeAxiom | Data.Parameterized.Peano |
| plusMinusCancel | Data.Parameterized.NatRepr, Data.Parameterized |
| plusP | Data.Parameterized.Peano |
| PolyEq | Data.Parameterized.Classes, Data.Parameterized.TH.GADT, Data.Parameterized, Data.Parameterized.Map |
| polyEq | Data.Parameterized.Classes, Data.Parameterized.TH.GADT, Data.Parameterized, Data.Parameterized.Map |
| polyEqF | Data.Parameterized.Classes, Data.Parameterized.TH.GADT, Data.Parameterized, Data.Parameterized.Map |
| predNat | Data.Parameterized.NatRepr, Data.Parameterized |
| predP | Data.Parameterized.Peano |