TypeLevel.Nat
data
Nat
type family
(n ::
Nat
)
+
(m ::
Nat
) ::
Nat
where ...