úÎ!’ TK      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJNone&',-.0;<=FSTVd ` singleton-natsProvides a shorthand for  -s using  GHC.TypeLits, for example: :kind! Lit 3 Lit 3 :: Nat= 'S ('S ('S 'Z))singleton-natsConverts a runtime K to an existentially wrapped  . Returns L if the argument is negative Isingleton-natsShorthand for   literals using TypeApplications.:set -XTypeApplicationssLit @5SS (SS (SS (SS (SS SZ))))  EFGHI    FGHEIM    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUV+singleton-nats-0.4.2-FiTNCeN9a2n45u5SaRRuwPData.Nat natSignumnatAbsnatMinusnatPlusnatMulNatZS'singletons-2.4.1-CPkrVyNL0Sy7pQw5p6j80uData.Singletons.Prelude.NumPNumSNumData.Singletons.InternalSingLitSNatNatMulNatPlusNatMinusNatAbs NatSignumSSym0SSym0KindInferenceSSym1ZSym0SZSS someNatVal $fSingINatS $fSingINatZ $fShowSing $fShowSingNat $fSDecideNat$fSEqNat $fSOrdNat $fSShowNat $fSingKindNat$fNumNat!$fSuppressUnusedWarnings(->)SSym0)$fSuppressUnusedWarnings(->)NatSignumSym0&$fSuppressUnusedWarnings(->)NatAbsSym0($fSuppressUnusedWarnings(->)NatMinusSym0($fSuppressUnusedWarnings(->)NatMinusSym1'$fSuppressUnusedWarnings(->)NatPlusSym0'$fSuppressUnusedWarnings(->)NatPlusSym1&$fSuppressUnusedWarnings(->)NatMulSym0&$fSuppressUnusedWarnings(->)NatMulSym1=$fSuppressUnusedWarnings(->)ShowsPrec_6989586621679055869Sym2=$fSuppressUnusedWarnings(->)ShowsPrec_6989586621679055869Sym1 $fPShowNat=$fSuppressUnusedWarnings(->)ShowsPrec_6989586621679055869Sym0;$fSuppressUnusedWarnings(->)Compare_6989586621679056870Sym1 $fPOrdNat;$fSuppressUnusedWarnings(->)Compare_6989586621679056870Sym0<$fSuppressUnusedWarnings(->)TFHelper_6989586621679056955Sym1<$fSuppressUnusedWarnings(->)TFHelper_6989586621679056955Sym0<$fSuppressUnusedWarnings(->)TFHelper_6989586621679056981Sym1<$fSuppressUnusedWarnings(->)TFHelper_6989586621679056981Sym0<$fSuppressUnusedWarnings(->)TFHelper_6989586621679057007Sym1<$fSuppressUnusedWarnings(->)TFHelper_6989586621679057007Sym07$fSuppressUnusedWarnings(->)Abs_6989586621679057024Sym0:$fSuppressUnusedWarnings(->)Signum_6989586621679057037Sym0S$fSuppressUnusedWarnings(->)Let6989586621679057047Scrutinee_6989586621679048427Sym0 $fSNumNat $fPNumNat?$fSuppressUnusedWarnings(->)FromInteger_6989586621679057055Sym0$fPEqNat $fOrdSing$fEqSing$fEqNat $fShowNat$fOrdNatSLitLitSym0LitSym0KindInferenceLitSym1sLit#$fSuppressUnusedWarnings(->)LitSym0 integer-gmpGHC.Integer.TypeIntegerbaseGHC.BaseNothing