Îõ³h$VØ      Safe-Inferred -./ÉÖ×Ú 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 . numeric-kinds#Type-level numeric conversion from . Like  in .None-./ÇÉÖ×Ùì¸  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 s m and n , computes m - n as an .  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.          !*numeric-kinds-0.2.0-2yQHYXCEVnBD7f0Jssg8X2 Kinds.Integer Kinds.NumIntegerPosNeg*-+ ToIntegerFromNat MulInteger SubInteger AddInteger-# CmpInteger KnownInteger integerValplusMinusInverseRplusMinusInverseL mulCommutes$fKnownIntegerNeg$fKnownIntegerPosbaseGHC.Real toIntegerIntegralghc-prim GHC.TypesNatGHC.Num fromIntegerNum