úÎ!° æU      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTNone&'-./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 U to an existentially wrapped  . Returns V if the argument is negative Ssingleton-natsShorthand for   literals using TypeApplications.:set -XTypeApplicationssLit @5SS (SS (SS (SS (SS SZ))))  OPQRS    PQROSW    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`*singleton-nats-0.4.5-BR50L6KFsYxOKnWPqs1EpData.Nat natSignumnatAbsnatMinusnatPlusnatMulNatZS'singletons-2.5.1-KsXCgsDCdHLIhGmaAHaakYData.Singletons.Prelude.NumPNumSNumData.Singletons.InternalSingLitSNatNatMulNatPlusNatMinusNatAbs NatSignumSSym0SSym0KindInferenceSSym1ZSym0SZSS someNatVal$fSingI->TyCon $fSingINatS $fSingINatZ $fSDecideNat$fSEqNat $fSOrdNat $fSShowNat $fSingKindNat$fNumNat$fSingI->SSym0$fSuppressUnusedWarnings->SSym05$fSuppressUnusedWarnings->Let6989586621679080978ASym0$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_6989586621679083592Sym2;$fSuppressUnusedWarnings->ShowsPrec_6989586621679083592Sym1 $fPShowNat;$fSuppressUnusedWarnings->ShowsPrec_6989586621679083592Sym09$fSuppressUnusedWarnings->Compare_6989586621679085291Sym1 $fPOrdNat9$fSuppressUnusedWarnings->Compare_6989586621679085291Sym0:$fSuppressUnusedWarnings->TFHelper_6989586621679085877Sym1:$fSuppressUnusedWarnings->TFHelper_6989586621679085877Sym0:$fSuppressUnusedWarnings->TFHelper_6989586621679085893Sym1:$fSuppressUnusedWarnings->TFHelper_6989586621679085893Sym0:$fSuppressUnusedWarnings->TFHelper_6989586621679085909Sym1:$fSuppressUnusedWarnings->TFHelper_6989586621679085909Sym05$fSuppressUnusedWarnings->Abs_6989586621679085919Sym08$fSuppressUnusedWarnings->Signum_6989586621679085928Sym0Q$fSuppressUnusedWarnings->Let6989586621679085934Scrutinee_6989586621679073776Sym0 $fSNumNat $fPNumNat=$fSuppressUnusedWarnings->FromInteger_6989586621679085940Sym0$fPEqNat $fOrdSing$fEqSing$fEqNat $fShowNat$fOrdNat $fShowSingSLitLitSym0LitSym0KindInferenceLitSym1sLit!$fSuppressUnusedWarnings->LitSym0 integer-gmpGHC.Integer.TypeIntegerbase GHC.MaybeNothing