Ξυ³h& ›‡Ž      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ „ … † ‡ ˆ ‰ Š ‹ Œ   Safe-Inferred(λ{ Unsafe(λ‘Ž‘’“” •–—˜™Safe(λί   Trustworthy(λΌ integer-typesA ' that is either zero or negative; the $ gives the magnitude of the negative integer-typesA  that is either zero or positive !"# !"# Trustworthy(λ  ,-./0123452-,45./01 3 Trustworthy(λN6789:;<=>?@ABC@6798:;<=>?ABCSafe(λŒ DEFGHIJKLM DEFGHIJKLM Safe-Inferred(λΛNPOQSRUTQSRUTNPOSafe(λ`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(λ7  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.0-inplaceInteger.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