Îõ³h$ © |)      !"#$%&'( Safe-Inferred-./ÉÖײ  numeric-kindsTest whether an ) is * or +. numeric-kindsTest whether an ) is ,. numeric-kindsTest whether an ) is + or ,. numeric-kindsTest whether an ) is +. numeric-kindsTest whether an ) is * or ,. numeric-kindsTest whether an ) is *. numeric-kindsTurns a type-level - into a  that it's .. numeric-kinds&Type-level multiplication "kindclass". numeric-kinds#Type-level subtraction "kindclass". numeric-kinds Type-level addition "kindclass". numeric-kindsType-level conversion to . Like / in 0. numeric-kinds#Type-level numeric conversion from 1. Like 2 in 3. numeric-kindsType-level Ord "kindclass".%Note this has an invisible dependent kç parameter that makes the textually-identical instances for different kinds actually different. Neat!   4 4 4 4 44444444None-./ÇÉÖ×Ùì *  numeric-kindsType-level signed numbers numeric-kinds&Multiplication of type-level integers. numeric-kinds#Subtraction of type-level integers. numeric-kinds Addition of type-level integers. numeric-kinds Given two 1s m and n , computes m - n as an .  numeric-kindsType-level eliminator for ).CaseOrdering o lt eq gt selects from among lt, eq, and gt according to o†. This is primarily exported so Haddock doesn't complain about being unable to link it when it's mentioned in type instance clauses.! numeric-kinds"Comparison of type-level integers." numeric-kindsÊMostly internal; the "snumber" package provides more useful functionality.$ numeric-kinds:Subtracting the right summand gives back the left summand.% numeric-kinds:Subtracting the left summand gives back the right summand.& numeric-kinds*Multiplication of integers is commutative. !"#$%&"#!%$&  Safe-Inferred o456789:;<      !"#$%&'()*+,-./01/02/03/04/05/0678978:/0;7<=7<>?@ABCDEFÇ,numeric-kinds-0.1.0.0-4KMtzU70noZCxOHxrHslJv Kinds.Integer Kinds.Num Data.Kind ConstraintPaths_numeric_kindsIntegerPosNegIsNEIsEQIsGEIsGTIsLEIsLT/=>=<===><Proven/=?==?>=?<=?>?