kind-integer-0.1: README.md

# kind-integer

Haskell type-level `Integer`s. Like `KnownNat`, but for `Integer`s.