@hackage numtype-dk0.5

Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.

Experimental. Requires GHC 7.8 or later.

For project information (issues, updates, wiki, examples) see: http://github.com/bjornbm/numtype-dk