TypeLevel.Number.Nat.Num
type N0
type N1
type N2
type N3
type N4
type N5
type N6
type N7
type N8
type N9
n0
n1
n2
n3
n4
n5
n6
n7
n8
n9