úÎ!• Ù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.4-EQdrFeCyZMAI8zEq1HgqDQData.Nat natSignumnatAbsnatMinusnatPlusnatMulNatZS'singletons-2.5.1-34NOQ7GgbAmKSoOe4XBBsXData.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_6989586621679083586Sym2;$fSuppressUnusedWarnings->ShowsPrec_6989586621679083586Sym1 $fPShowNat;$fSuppressUnusedWarnings->ShowsPrec_6989586621679083586Sym09$fSuppressUnusedWarnings->Compare_6989586621679085285Sym1 $fPOrdNat9$fSuppressUnusedWarnings->Compare_6989586621679085285Sym0:$fSuppressUnusedWarnings->TFHelper_6989586621679085871Sym1:$fSuppressUnusedWarnings->TFHelper_6989586621679085871Sym0:$fSuppressUnusedWarnings->TFHelper_6989586621679085887Sym1:$fSuppressUnusedWarnings->TFHelper_6989586621679085887Sym0:$fSuppressUnusedWarnings->TFHelper_6989586621679085903Sym1:$fSuppressUnusedWarnings->TFHelper_6989586621679085903Sym05$fSuppressUnusedWarnings->Abs_6989586621679085913Sym08$fSuppressUnusedWarnings->Signum_6989586621679085922Sym0Q$fSuppressUnusedWarnings->Let6989586621679085928Scrutinee_6989586621679073772Sym0 $fSNumNat $fPNumNat=$fSuppressUnusedWarnings->FromInteger_6989586621679085934Sym0$fPEqNat $fOrdSing$fEqSing$fEqNat $fShowNat$fOrdNat $fShowSingSLitLitSym0LitSym0KindInferenceLitSym1sLit!$fSuppressUnusedWarnings->LitSym0 integer-gmpGHC.Integer.TypeIntegerbase GHC.MaybeNothing