TypeLevel.Number.Nat
Natural numbers
data
I
n
data
O
n
data
Z
class
Nat
n
Lifting
data
SomeNat
withNat
Template haskell utilities
natT
nat