Index - P
| pairListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| PairType | Data.Type.Witness.Specific.Pair, Data.Type.Witness |
| peanoGreater | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| peanoGreaterEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| PeanoNat | Data.PeanoNat, Data.Type.Witness |
| PeanoNatType | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| PeanoToNatural | Data.PeanoNat, Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| peanoToNatural | Data.PeanoNat, Data.Type.Witness |
| peanoToNaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| pickListElement | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| Proxy | |
| 1 (Data Constructor) | Data.Type.Witness |
| 2 (Type/Class) | Data.Type.Witness |