,($[      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ Safe-Inferred* Witness for , instance. f This type will be removed soon after singletons package available for the latest Haskell Paltform. ,Singleton type-class. e This class will be removed soon after singletons package available for the latest Haskell Paltform. -"Automatically compute singletons. /Comparison witness via GADTs. 2Comparison function 3Comparison via type-class. 4Type-level multiplication. 5Type-level addition. 7Type-level maximum function. 8Type-level minimum function. 9Singleton type for <. : When constructing data, use smart constructors such as ? and @. <MPeano natural numbers. It will be promoted to the type-level natural number. ?The smart constructor for SZ. @The smart constructor for SS n. AMinimum function. B)Singleton function for minimum function. CMaximum function. D Singleton function for maximum. F Addition for singleton numbers. G&Multiplication for singleton numbers. M$Get witness for singleton integers. j This function will be removed soon after singletons package available for the latest Haskell Paltform. NConvert integral numbers into < OConvert < into normal integers. PConvert 'SNat n' into normal integers.   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{<>=9;:?@A8BC7D5F4G6E/1032.KLHIJ,-*+MONP)('&%$#"! QRSTUVWXYZ[\]^_`abcde fghijklmnopqrstuvwxyzx  !"#$%&'()*+,-./1023456789;:<>=?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz Safe-Inferred{|}~{|}~{}|~{}|~      !"#$%&'()*+,--./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~0sized-vector-0.0.1.0Data.Type.NaturalData.Vector.SizedN20N19N18N17N16N15N14N13N12N11N10N9N8N7N6N5N4N3N2N1N0TwentyNineteenEighteen SeventeenSixteenFifteenFourteenThirteenTwelveElevenTenNineEightSevenSixFiveFourThreeTwoOneZero SingInstanceSingsing LeqInstanceLeq SuccLeqSuccZeroLeq:<<=:<=:*::+::-:MaxMinSNatSSSZNatSZsZsSminsMinmaxsMax%-%+%* boolToPropLeqboolToClassLeqpropToClassLeqleqReflleqSucc singInstanceintToNatnatToInt sNatToIntsZerosOnesTwosThreesFoursFivesSixsSevensEightsNinesTensElevensTwelve sThirteen sFourteensFifteensSixteen sSeventeen sEighteen sNineteensTwentysN0sN1sN2sN3sN4sN5sN6sN7sN8sN9sN10sN11sN12sN13sN14sN15sN16sN17sN18sN19sN20Vector:-NilsLengthlengthappendfoldrfoldl singleton zipWithSamezipWithtoListfromListunsafeFromList fromList'unsafeFromList'allsplitAtdroptakemapheadtail$fSingS$fSingZ$f:<=SS$f:<=Zn$fNumNat $fEqVector