type-level-integers (hackage): This packages provides type level integers together with type families for basic arithmetic.
Keywords: bsd3|data|library