yAsymmetric">Numeric.MixedTypes.Eq</a>, MixedTypesNumPrelude</td></tr><tr><td class="src">HasEqCertainlyCE</td><td class="module"><a href="Numeric-MixedTypes-Eq.html#t:HasEqCertainlyCE">Numeric.MixedTypes.Eq</a>, MixedTypesNumPrelude</td></tr><tr><td class="src">HasEqCertainlyCN</td><td class="module"><a href="Numeric-MixedTypes-Eq.html#t:HasEqCertainlyCN">Numeric.MixedTypes.Eq</a>, MixedTypesNumPrelude</td></tr><tr><td class="src">HasIfThenElse</td><td class="module"><a href="Numeric-MixedTypes-Literals.ht