ฮ๕ณh& tรฉ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopq r s t u v w x y z { | } ~  €  ‚ ƒ „ … † ‡ ˆ ‰ Š ‹ Œ  Ž   ‘ ’ “ ” • – — ˜ ™ š › œ  ž Ÿ   ก ข ฃ ค ฅ ฆ ง จ  Safe-Inferred(-?ใ๋  Safe-Inferred(-?ใ๋7ฉชซฌญฎฏ ฐฑ ฒณด Safe-Inferred(-?ใ๋ƒ   Safe-Inferred(-?ใ๋f 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(-?ใ๋ร 6789:;<=>?@76>?89:;<  =@ Safe-Inferred(-?ใ๋ABCDEFGHIJKLMNOPABDCEFGHIJKPLMNO Safe-Inferred(-?ใ๋a QRSTUVWXYZ[\ QRSTUVWXYZ[\ Safe-Inferred(-?ใ๋ ] integer-types0Class of numbers are closed under addition with ^ integer-typesAddition]^]^ Safe-Inferred(-?ใ๋=cedfhgjifhgjiced  Safe-Inferred(-?ใ๋฿v integer-typesPartial conversion between ต types via  yolo = ถ . ท qrstuvrstuqv  Safe-Inferred(-?ใ๋ƒ˜ integer-types5Class of numbers that are closed under addition with ™ integer-typesAddition˜™˜™  Safe-Inferred(-?ใ๋&ž integer-types#Codomain of a subtraction operation  integer-types!Domain of a subtraction operationžŸ กข กขžŸ  Safe-Inferred(-?ใ๋g$ ]^cdefijghqrstuv˜™žŸ กข& ]^˜™ กขžŸrstuqvfijghcdeธ        !"#$%&'()*+,-./0123456789:;<=>?@304567A1BCD/.3BC4567A1D2/.0BC45672EFGHIJKLM6745NOPQRS T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { 2 | } ~  € A  ‚ ƒ „ … † ‡ ˆ ‰ Š 0 ‹ 3 Œ A  1 Ž 4 5 ‘’“3‘”+integer-types-0.1.3.0-letQFUxIUf3wvMKLL3evuInteger.IntegerInteger.NaturalInteger.BoundedBelowInteger.Positive Integer.SignInteger.SignedInteger.IncreaseInteger.FiniteInteger.ConversionInteger.StrictlyIncreaseInteger.SubtractionInteger.Positive.UnsafeInteger ghc-bignumGHC.Num.IntegerGHC.Num.NaturalNatural BoundedBelowminBound$fBoundedBelowNaturalPositive toNatural toIntegeroneaddOneincreaseSign MinusSignPlusSignnegatemultiply$fHashableSign $fNFDataSign$fEqSign $fOrdSign $fShowSign $fEnumSign $fBoundedSignSignedZeroNonZeroNotPlusNotMinusPlusMinus fromPositive toPositive fromNatural subtractOnestrictlyIncrease fromIntegertoIntfromInttoWordfromWord $fShowSigned$fIntegralSigned $fRealSigned $fEnumSigned $fNumSigned$fHashableSigned$fNFDataSigned $fOrdSigned $fEqSignedsubtracttoSigned fromSignedlengthIncrease$fIncreasePositive$fIncreaseNatural$fIncreaseSigned$fIncreaseIntegerFinitetoFinite 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$fIntegerEquivIntegerIntegerStrictlyIncrease$fStrictlyIncreasePositive$fStrictlyIncreaseNatural$fStrictlyIncreaseSigned$fStrictlyIncreaseInteger Subtraction' SubtractionsubtractIntegersubtractSigned$fSubtractionPositive$fSubtractionNatural$fSubtractionSigned$fSubtractionInteger$fSubtraction'Signed$fSubtraction'Integer FromNaturalfromNaturalCheckedfromIntegerCheckedsubtractCheckedsubtractOneCheckedfromIntCheckedbaseGHC.RealIntegralGHC.Num