Description
Provides type-level integers using TypeNats, DataKinds, and closed type families. Type-level numbers let Haskell code move size, count, or numeric constraints into the type system.
It is useful for advanced libraries that need stronger compile-time guarantees. It is a developer library for type-level programming and has no standalone interface.