| mapFiniteAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| mapListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| mapListSum | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| mapListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| mapMListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| mapSome | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| matchIs | Data.Type.Witness.General.Representative, Data.Type.Witness |
| matchSome | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| matchSomeFor | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| matchSomeOf | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| MkAllFor | Data.Type.Witness.Specific.All, Data.Type.Witness |
| MkAllOf | Data.Type.Witness.Specific.All, Data.Type.Witness |
| MkEmptyType | Data.Type.Witness.Specific.Empty, Data.Type.Witness |
| MkFiniteAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| mkFiniteAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| MkGreater | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| MkHetConstraintWitness | Data.Type.Witness.General.HetConstraint, Data.Type.Witness |
| MkListProductType | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| MkListSumType | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| MkNaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| MkOrderedWitnessMapFor | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| MkPairType | Data.Type.Witness.Specific.Pair, Data.Type.Witness |
| MkSome | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| MkSomeFor | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| mkSomeFor | Data.Type.Witness.General.Representative, Data.Type.Witness |
| MkSomeOf | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| mkSomeOf | Data.Type.Witness.General.Representative, Data.Type.Witness |
| MkSymbolType | Data.Type.Witness.Specific.Symbol, Data.Type.Witness |
| MkWitnessMapFor | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| Mod | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| multiplyNaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| multiplyPeanoNat | Data.PeanoNat, Data.Type.Witness |