úÎ =„     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.       +!"#$%&'()*+,-./01234         5      !"#$%&%'%(%)%*%+%,%-%.%/%0%1%2%3%4%5%6%789:singleton-nats-0.2.0.0Data.NatNatSZsingletons-1.1.2Data.SingletonsSingSLitLitSNat:*:+:*$:*$$:+$:+$$SSym0SSym0KindInferenceSSym1ZSym0%:+%:*natPlusnatMul+*Equals_1627415281:*$###:*$$###:*$$$:+$###:+$$###:+$$$SSSZTFCo:R:DemoteRepNatKProxy!Data.Singletons.Prelude.InstancesSNothingSJustSNilSConsSLeftSRightSFalseSTrueSLTSEQSGTSTuple0STuple2STuple3STuple4STuple5STuple6STuple7 applySingSLambda