kind-integer (hackage): Type-level integers. Like KnownNat, but for integers.
Keywords: bsd3|library|types