Yirmiuc / libghc-ghc-typelits-knownnat-dev

Derive KnownNat constraints from other KnownNat constraints