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