úÎ@ C      !"#$%&'()*+,-./0123456789:;<=>?@ABNone&',-.0;<=FSTVc J Provides a shorthand for  -s using  GHC.TypeLits, for example: :kind! Lit 3 Lit 3 :: Nat= 'S ('S ('S 'Z))Converts a runtime C to an existentially wrapped  . Returns D if the argument is negative AShorthand for   literals using TypeApplications.:set -XTypeApplicationssLit @5SS (SS (SS (SS (SS SZ)))) EF =>?@A    >?@=AGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnoFE>?p    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxy+singleton-nats-0.4.1-D1ueo6uPzHYGZXBb7HSpWRData.Nat natSignumnatAbsnatMinusnatPlusnatMulNatZS'singletons-2.3.1-BSVnoqsmE8W2OqyD1q4zVYData.Singletons.Prelude.NumPNumSNumData.SingletonsSingLitSNatNatMulNatPlusNatMinusNatAbs NatSignumSSym0SSym0KindInferenceSSym1ZSym0 someNatVal $fSingINatS $fSingINatZ $fSOrdNat $fSDecideNat$fSEqNat $fSingKindNat$fNumNat$fPEqNat!$fSuppressUnusedWarnings(->)SSym0)$fSuppressUnusedWarnings(->)NatSignumSym0&$fSuppressUnusedWarnings(->)NatAbsSym0($fSuppressUnusedWarnings(->)NatMinusSym0($fSuppressUnusedWarnings(->)NatMinusSym1'$fSuppressUnusedWarnings(->)NatPlusSym0'$fSuppressUnusedWarnings(->)NatPlusSym1&$fSuppressUnusedWarnings(->)NatMulSym0&$fSuppressUnusedWarnings(->)NatMulSym1;$fSuppressUnusedWarnings(->)Compare_6989586621679057119Sym1 $fPOrdNat;$fSuppressUnusedWarnings(->)Compare_6989586621679057119Sym0<$fSuppressUnusedWarnings(->)TFHelper_6989586621679057449Sym1<$fSuppressUnusedWarnings(->)TFHelper_6989586621679057449Sym0<$fSuppressUnusedWarnings(->)TFHelper_6989586621679057475Sym1<$fSuppressUnusedWarnings(->)TFHelper_6989586621679057475Sym0<$fSuppressUnusedWarnings(->)TFHelper_6989586621679057501Sym1<$fSuppressUnusedWarnings(->)TFHelper_6989586621679057501Sym07$fSuppressUnusedWarnings(->)Abs_6989586621679057518Sym0:$fSuppressUnusedWarnings(->)Signum_6989586621679057531Sym0S$fSuppressUnusedWarnings(->)Let6989586621679057541Scrutinee_6989586621679049741Sym0 $fSNumNat $fPNumNat?$fSuppressUnusedWarnings(->)FromInteger_6989586621679057549Sym0 $fOrdSing$fEqSing$fEqNat $fShowNat$fOrdNat $fShowSingSLitLitSym0LitSym0KindInferenceLitSym1sLit#$fSuppressUnusedWarnings(->)LitSym0 integer-gmpGHC.Integer.TypeIntegerbaseGHC.BaseNothingSSSZ#FromInteger_6989586621679057549Sym00FromInteger_6989586621679057549Sym0KindInference7Let6989586621679057541Scrutinee_6989586621679049741Sym0DLet6989586621679057541Scrutinee_6989586621679049741Sym0KindInferenceSignum_6989586621679057531Sym0+Signum_6989586621679057531Sym0KindInferenceAbs_6989586621679057518Sym0(Abs_6989586621679057518Sym0KindInference TFHelper_6989586621679057501Sym0-TFHelper_6989586621679057501Sym0KindInference TFHelper_6989586621679057501Sym1-TFHelper_6989586621679057501Sym1KindInference TFHelper_6989586621679057475Sym0-TFHelper_6989586621679057475Sym0KindInference TFHelper_6989586621679057475Sym1-TFHelper_6989586621679057475Sym1KindInference TFHelper_6989586621679057449Sym0-TFHelper_6989586621679057449Sym0KindInference TFHelper_6989586621679057449Sym1-TFHelper_6989586621679057449Sym1KindInferenceCompare_6989586621679057119Sym0,Compare_6989586621679057119Sym0KindInferenceCompare_6989586621679057119Sym1,Compare_6989586621679057119Sym1KindInference NatMulSym0NatMulSym0KindInference NatMulSym1NatMulSym1KindInference NatPlusSym0NatPlusSym0KindInference NatPlusSym1NatPlusSym1KindInference NatMinusSym0NatMinusSym0KindInference NatMinusSym1NatMinusSym1KindInference NatAbsSym0NatAbsSym0KindInference NatSignumSym0NatSignumSym0KindInference D:R:DemoteNat