úÎ } …0      !"#$%&'()*+,-./None&',-.0;<=FSTVcS Provides a shorthand for  -s using  GHC.TypeLits, for example: :kind! Lit 3 Lit 3 :: Nat= 'S ('S ('S 'Z))0Converts a runtime 1 to an existentially wrapped  . Returns 2 if the argument is negative Shorthand for   literals using TypeApplications.:set -XTypeApplicationssLit @5SS (SS (SS (SS (SS SZ)))) 34     56789:;<=>?@ABCDEFG43H    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQ,singleton-nats-0.4.0.4-DvVR77nb0AMcB4EVUh2nvData.NatnatAbsnatMinusnatPlusnatMulNatZS'singletons-2.3.1-5xy3y89H6FfI4gWowefe97Data.Singletons.Prelude.NumPNumSNumData.SingletonsSingSLitLitSNatNatMulNatPlusNatMinusNatAbsSSym0SSym0KindInferenceSSym1ZSym0sLit $fSNumNat $fSingINatS $fSingINatZ $fSOrdNat $fSDecideNat$fSEqNat $fSingKindNat$fPEqNat!$fSuppressUnusedWarnings(->)SSym0&$fSuppressUnusedWarnings(->)NatAbsSym0($fSuppressUnusedWarnings(->)NatMinusSym0($fSuppressUnusedWarnings(->)NatMinusSym1'$fSuppressUnusedWarnings(->)NatPlusSym0'$fSuppressUnusedWarnings(->)NatPlusSym1&$fSuppressUnusedWarnings(->)NatMulSym0&$fSuppressUnusedWarnings(->)NatMulSym1;$fSuppressUnusedWarnings(->)Compare_6989586621679056907Sym1 $fPOrdNat;$fSuppressUnusedWarnings(->)Compare_6989586621679056907Sym0 $fOrdSing$fEqSing $fPNumNat$fEqNat $fShowNat$fOrdNat $fShowSing someNatVal integer-gmpGHC.Integer.TypeIntegerbaseGHC.BaseNothingSSSZCompare_6989586621679056907Sym0,Compare_6989586621679056907Sym0KindInferenceCompare_6989586621679056907Sym1,Compare_6989586621679056907Sym1KindInference NatMulSym0NatMulSym0KindInference NatMulSym1NatMulSym1KindInference NatPlusSym0NatPlusSym0KindInference NatPlusSym1NatPlusSym1KindInference NatMinusSym0NatMinusSym0KindInference NatMinusSym1NatMinusSym1KindInference NatAbsSym0NatAbsSym0KindInference D:R:DemoteNat