úÎ œ¢     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_Cxf4m0MGuA76sRIjWMbCLHData.NatnatAbsnatMinusnatPlusnatMulNatZSsingl_AZdfuMjt2IYI8BIqkXKArhData.Singletons.Prelude.NumPNumSNumData.SingletonsSingSLitLitSNatNatMulNatPlusNatMinusNatAbsSSym0SSym0KindInferenceSSym1ZSym0 someNatVal integer-gmpGHC.Integer.TypeIntegerbaseGHC.BaseNothingEquals_1627417833Compare_1627420094Compare_1627420094Sym0#Compare_1627420094Sym0KindInferenceCompare_1627420094Sym1#Compare_1627420094Sym1KindInferenceCompare_1627420094Sym2 NatMulSym0NatMulSym0KindInference NatMulSym1NatMulSym1KindInference NatMulSym2 NatPlusSym0NatPlusSym0KindInference NatPlusSym1NatPlusSym1KindInference NatPlusSym2 NatMinusSym0NatMinusSym0KindInference NatMinusSym1NatMinusSym1KindInference NatMinusSym2 NatAbsSym0NatAbsSym0KindInference NatAbsSym1SZSSsNatAbs sNatMinussNatPlussNatMul$fSNumNatKProxy$fPNumNatKProxyTFCo:R:DemoteRepNatKProxy