Numeric.MixedTypes.Eq
type HasEq t1 t2
class HasEqAsymmetric a b
type HasEqCertainly t1 t2
type HasEqCertainlyAsymmetric t1 t2
type HasEqCertainlyCE es t1 t2
type HasEqCertainlyCN t1 t2
class CanTestNaN t
class CanTestFinite t
class CanTestInteger t
class CanTestZero t
class CanPickNonZero t