úÎ!• ÙT      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSNone&'-./1=>?HUVXfkq å 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 T to an existentially wrapped  . Returns U if the argument is negative Rsingleton-natsShorthand for   literals using TypeApplications.:set -XTypeApplicationssLit @5SS (SS (SS (SS (SS SZ))))  NOPQR    OPQNRV    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_*singleton-nats-0.4.3-EbZVWbLrfbohGtNTePS3CData.Nat natSignumnatAbsnatMinusnatPlusnatMulNatZS'singletons-2.5.1-8WLAUNaHMrC2aVPsRCpzauData.Singletons.Prelude.NumPNumSNumData.Singletons.InternalSingLitSNatNatMulNatPlusNatMinusNatAbs NatSignumSSym0SSym0KindInferenceSSym1ZSym0SZSS someNatVal$fSingI->TyCon $fSingINatS $fSingINatZ $fSDecideNat$fSEqNat $fSOrdNat $fSShowNat $fSingKindNat$fNumNat$fSingI->SSym0$fSuppressUnusedWarnings->SSym0$fSingI->NatSignumSym0'$fSuppressUnusedWarnings->NatSignumSym0$fSingI->NatAbsSym0$$fSuppressUnusedWarnings->NatAbsSym0$fSingI->NatMinusSym1$fSingI->NatMinusSym0&$fSuppressUnusedWarnings->NatMinusSym0&$fSuppressUnusedWarnings->NatMinusSym1$fSingI->NatPlusSym1$fSingI->NatPlusSym0%$fSuppressUnusedWarnings->NatPlusSym0%$fSuppressUnusedWarnings->NatPlusSym1$fSingI->NatMulSym1$fSingI->NatMulSym0$$fSuppressUnusedWarnings->NatMulSym0$$fSuppressUnusedWarnings->NatMulSym1;$fSuppressUnusedWarnings->ShowsPrec_6989586621679083047Sym2;$fSuppressUnusedWarnings->ShowsPrec_6989586621679083047Sym1 $fPShowNat;$fSuppressUnusedWarnings->ShowsPrec_6989586621679083047Sym09$fSuppressUnusedWarnings->Compare_6989586621679084746Sym1 $fPOrdNat9$fSuppressUnusedWarnings->Compare_6989586621679084746Sym0:$fSuppressUnusedWarnings->TFHelper_6989586621679085332Sym1:$fSuppressUnusedWarnings->TFHelper_6989586621679085332Sym0:$fSuppressUnusedWarnings->TFHelper_6989586621679085348Sym1:$fSuppressUnusedWarnings->TFHelper_6989586621679085348Sym0:$fSuppressUnusedWarnings->TFHelper_6989586621679085364Sym1:$fSuppressUnusedWarnings->TFHelper_6989586621679085364Sym05$fSuppressUnusedWarnings->Abs_6989586621679085374Sym08$fSuppressUnusedWarnings->Signum_6989586621679085383Sym0Q$fSuppressUnusedWarnings->Let6989586621679085389Scrutinee_6989586621679073701Sym0 $fSNumNat $fPNumNat=$fSuppressUnusedWarnings->FromInteger_6989586621679085395Sym0$fPEqNat $fOrdSing$fEqSing$fEqNat $fShowNat$fOrdNat $fShowSingSLitLitSym0LitSym0KindInferenceLitSym1sLit!$fSuppressUnusedWarnings->LitSym0 integer-gmpGHC.Integer.TypeIntegerbase GHC.MaybeNothing