TypeLevel.Number.Int

Integer numbers

data ZZ

data Dn n

data D0 n

data D1 n

class IntT n

Lifting

data SomeInt

withInt

Template haskell utilities

intT