Data.Nat

data Nat

data SNat n

class SingNat n

type family n :+: m

type family n :-: m

class n :<= m