úÎ# ä0      !"#$%&'()*+,-./None%&+,-/9:;DQRT 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))))834 56789 :;<=>?@ABCDEFGHIJKLMNOPQ0R ML    *34 56789 :;<=>?@ABCDEFGHIJKNOPQ0RLMS    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\-singleton-nats-0.4.0.2-3f1PHp8g8e53k2I0Wi5YKjData.NatnatAbsnatMinusnatPlusnatMulNatZS%singletons-2.2-1XuUnTEeJ0y33oM4jUrwFFData.Singletons.Prelude.NumPNumSNumData.SingletonsSingSLitLitSNatNatMulNatPlusNatMinusNatAbsSSym0SSym0KindInferenceSSym1ZSym0sLit $fSNumNat$fPNumNatProxy $fOrdSing$fEqSing $fSingINatS $fSingINatZ $fSOrdNat $fSDecideNat$fSEqNat $fSingKindNat$fPOrdNatProxy2$fSuppressUnusedWarnings(->)Compare_1627438067Sym02$fSuppressUnusedWarnings(->)Compare_1627438067Sym1&$fSuppressUnusedWarnings(->)NatMulSym0&$fSuppressUnusedWarnings(->)NatMulSym1'$fSuppressUnusedWarnings(->)NatPlusSym0'$fSuppressUnusedWarnings(->)NatPlusSym1($fSuppressUnusedWarnings(->)NatMinusSym0($fSuppressUnusedWarnings(->)NatMinusSym1&$fSuppressUnusedWarnings(->)NatAbsSym0!$fSuppressUnusedWarnings(->)SSym0 $fPEqNatProxy$fEqNat $fShowNat$fOrdNat $fShowSing someNatVal integer-gmpGHC.Integer.TypeIntegerbaseGHC.BaseNothingEquals_1627434444Compare_1627438067Compare_1627438067Sym0#Compare_1627438067Sym0KindInferenceCompare_1627438067Sym1#Compare_1627438067Sym1KindInferenceCompare_1627438067Sym2 NatMulSym0NatMulSym0KindInference NatMulSym1NatMulSym1KindInference NatMulSym2 NatPlusSym0NatPlusSym0KindInference NatPlusSym1NatPlusSym1KindInference NatPlusSym2 NatMinusSym0NatMinusSym0KindInference NatMinusSym1NatMinusSym1KindInference NatMinusSym2 NatAbsSym0NatAbsSym0KindInference NatAbsSym1SZSSsNatAbs sNatMinussNatPlussNatMulD:R:DemoteRepNat