HetConstraint | Data.Type.Witness.General.HetConstraint, Data.Type.Witness |
hetConstraint | Data.Type.Witness.General.HetConstraint, Data.Type.Witness |
HetConstraintWitness | Data.Type.Witness.General.HetConstraint, Data.Type.Witness |
HetEqual | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
hetHomoEq | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
HetRefl | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
HRefl | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |