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