<a href="Numeric-MixedTypes-Literals.html#t:HasIntegers">Numeric.MixedTypes.Literals</a>, MixedTypesNumPrelude</td></tr><tr><td class="src">HasOrder</td><td class="module"><a href="Numeric-MixedTypes-Ord.html#t:HasOrder">Numeric.MixedTypes.Ord</a>, MixedTypesNumPrelude</td></tr><tr><td class="src">HasOrderAsymmetric</td><td class="module"><a href="Numeric-MixedTypes-Ord.html#t:HasOrderAsymmetric">Numeric.MixedTypes.Ord</a>, MixedTypesNumPrelude</td></tr><tr><td class="src">HasOrderCertainly</td><td class="m