type-natural (hackage): Type-level well-kinded natural numbers.
Keywords: bsd3|library|math|dependent-types|ghc|haskell|proof-assistant|type-level|type-level-programming