úÎ œ¢     None!"'()35>KLN Provides a shorthand for  -s using  GHC.TypeLits, for example: :kind! Lit 3 Lit 3 :: Nat= 'S ('S ('S 'Z))Converts a runtime  to an existentially wrapped  . Returns  if the argument is negative 5   !"#$%&'()*+,-./0123456789 12   '   !"#$%&'()*+,-./0345678912:    !"#$%&'()*+,-./0123456789:;<=>?@ABCsingl_LYLuwsqatfrBNiHMa0U8qRData.NatnatAbsnatMinusnatPlusnatMulNatZSsingl_BBetHZphkPJ2v4A56hJLvOData.Singletons.Prelude.NumPNumSNumData.SingletonsSingSLitLitSNatNatMulNatPlusNatMinusNatAbsSSym0SSym0KindInferenceSSym1ZSym0 someNatVal integer-gmpGHC.Integer.TypeIntegerbaseGHC.BaseNothingEquals_1627417823Compare_1627420084Compare_1627420084Sym0#Compare_1627420084Sym0KindInferenceCompare_1627420084Sym1#Compare_1627420084Sym1KindInferenceCompare_1627420084Sym2 NatMulSym0NatMulSym0KindInference NatMulSym1NatMulSym1KindInference NatMulSym2 NatPlusSym0NatPlusSym0KindInference NatPlusSym1NatPlusSym1KindInference NatPlusSym2 NatMinusSym0NatMinusSym0KindInference NatMinusSym1NatMinusSym1KindInference NatMinusSym2 NatAbsSym0NatAbsSym0KindInference NatAbsSym1SZSSsNatAbs sNatMinussNatPlussNatMul$fSNumNatKProxy$fPNumNatKProxyTFCo:R:DemoteRepNatKProxy