type-level-numbers-0.1.1.1: Type level numbers implemented using type families.
TypeLevel.Number.Nat.Num
type N0 = ZSource
type N1 = I ZSource
type N2 = O (I Z)Source
type N3 = I (I Z)Source
type N4 = O (O (I Z))Source
type N5 = I (O (I Z))Source
type N6 = O (I (I Z))Source
type N7 = I (I (I Z))Source
type N8 = O (O (O (I Z)))Source
type N9 = I (O (O (I Z)))Source
n0 :: N0Source
n1 :: N1Source
n2 :: N2Source
n3 :: N3Source
n4 :: N4Source
n5 :: N5Source
n6 :: N6Source
n7 :: N7Source
n8 :: N8Source
n9 :: N9Source