Index - P
| 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 | 
| plusComm | Data.Parameterized.NatRepr, Data.Parameterized | 
| plusMinusCancel | Data.Parameterized.NatRepr, Data.Parameterized | 
| 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 |