# kind-rational

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