úÎ À     None!"(24=JKMProvides a shorthand for  -s using  GHC.TypeLits, for example: :kind! Lit 3 Lit 3 :: Nat= 'S ('S ('S 'Z))€This is the plain value-level version of addition on Nats. There's rarely a reason to use this; it's included for completeness.  Similarly to ), this one is included for completeness.                    !"singleton-nats-0.3.0.0Data.NatNatSZSLitLitSNat:*:+:*$:*$$:+$:+$$SSym0SSym0KindInferenceSSym1ZSym0%:+%:*natPlusnatMul+*Equals_1627415730:*$###:*$$###:*$$$:+$###:+$$###:+$$$SSSZTFCo:R:DemoteRepNatKProxy