type-level-numbers-0.1.1.1: Type level numbers implemented using type families.
TypeLevel.Number.Nat.Num
type N0 = Z #
type N1 = I Z #
type N2 = O (I Z) #
type N3 = I (I Z) #
type N4 = O (O (I Z)) #
type N5 = I (O (I Z)) #
type N6 = O (I (I Z)) #
type N7 = I (I (I Z)) #
type N8 = O (O (O (I Z))) #
type N9 = I (O (O (I Z))) #
n0 :: N0 #
n1 :: N1 #
n2 :: N2 #
n3 :: N3 #
n4 :: N4 #
n5 :: N5 #
n6 :: N6 #
n7 :: N7 #
n8 :: N8 #
n9 :: N9 #