@hackage kind-rational0.4

Type-level rationals. Like KnownNat, but for rationals.

kind-rational

Haskell type-level Rationals. Like KnownNat, but for Rationals.