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