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 |