Ξυ³h& ΜΈŽ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ „ … † ‡ ˆ ‰ Š ‹ Œ   Safe-Inferred(λ{  Safe-Inferred(λ¨Ž‘’“” •–—˜™ Safe-Inferred(λο   Safe-Inferred(λΞ integer-typesA ' that is either zero or negative; the $ gives the magnitude of the negative integer-typesA  that is either zero or positive !"# !"# Safe-Inferred(λ ,-./0123452-,45./01 3 Safe-Inferred(λd6789:;<=>?@ABC@6798:;<=>?ABC Safe-Inferred(λ« DEFGHIJKLM DEFGHIJKLM Safe-Inferred(λκNPOQSRUTQSRUTNPO Safe-Inferred(λˆa integer-typesPartial conversion between š types via  yolo = › . œ \]^_`a]^_`\a  Safe-Inferred(λ+ƒ integer-types#Codomain of a subtraction operation… integer-types!Domain of a subtraction operationƒ„…†‡…†‡ƒ„  Safe-Inferred(λh  NOPQTURS\]^_`aƒ„…†‡" …†‡ƒ„]^_`\aQTURSNOP        !"#$%&'()*+,-./01234567+*,-./89:;)(+:;,-./89)(*:;,-./<=>?./,-@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkl m 8 n o p q r s t u v w * x + y 8 z 9 { , - |}~}€+}~,integer-types-0.0.0.1-4VwJVIWmm049MsB8KmrA94Integer.IntegerInteger.NaturalInteger.BoundedBelowInteger.Positive Integer.SignInteger.SignedInteger.FiniteInteger.ConversionInteger.SubtractionInteger.Positive.UnsafeInteger ghc-bignumGHC.Num.IntegerGHC.Num.NaturalNatural BoundedBelowminBound$fBoundedBelowNaturalPositive toNatural toIntegeroneaddOneSign MinusSignPlusSignnegatemultiply $fNFDataSign$fEqSign $fOrdSign $fShowSignSignedZeroNonZeroNotPlusNotMinusPlusMinus fromPositive toPositive fromNatural fromIntegertoIntfromInttoWordfromWord $fShowSigned$fIntegralSigned $fRealSigned $fEnumSigned $fNumSigned$fNFDataSigned $fOrdSigned $fEqSignedsubtract subtractOnetoSigned fromSignedFinitetoFinite fromFiniteConvertWithFinite$fConvertWithFiniteSigned$fConvertWithFiniteInteger$fConvertWithFinitePositive$fConvertWithFiniteNatural $fFiniteWord $fFiniteInt IntegerEquiv IntegerNarrownarrowIntegerConvertconvertyolo$fIntegerNarrowSignedPositive$fIntegerNarrowNaturalPositive$fIntegerNarrowIntegerPositive$fIntegerNarrowSignedNatural$fIntegerNarrowIntegerNatural$fIntegerNarrowSignedSigned$fIntegerNarrowPositivePositive$fIntegerNarrowNaturalNatural$fIntegerNarrowIntegerInteger$fIntegerConvertPositiveSigned$fIntegerNarrowPositiveSigned$fIntegerConvertPositiveNatural$fIntegerNarrowPositiveNatural$fIntegerConvertPositiveInteger$fIntegerNarrowPositiveInteger$fIntegerConvertNaturalSigned$fIntegerNarrowNaturalSigned$fIntegerConvertNaturalInteger$fIntegerNarrowNaturalInteger$fIntegerNarrowSignedInteger$fIntegerConvertSignedInteger$fIntegerNarrowIntegerSigned$fIntegerConvertIntegerSigned$fIntegerConvertSignedSigned $fIntegerConvertPositivePositive$fIntegerConvertNaturalNatural$fIntegerConvertIntegerInteger$fIntegerEquivSignedInteger$fIntegerEquivIntegerSigned$fIntegerEquivSignedSigned$fIntegerEquivPositivePositive$fIntegerEquivNaturalNatural$fIntegerEquivIntegerInteger Subtraction' SubtractionsubtractIntegersubtractSigned$fSubtractionPositive$fSubtractionNatural$fSubtractionSigned$fSubtractionInteger$fSubtraction'Signed$fSubtraction'Integer FromNaturalfromNaturalCheckedfromIntegerCheckedsubtractCheckedsubtractOneCheckedfromIntCheckedbaseGHC.RealIntegralGHC.Num