# kind-integer

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