Derive KnownNat constraints from other KnownNat constraints
Why do you think that https://github.com/vincenthz/ghc-core-html is a good alternative to ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
Why do you think that https://github.com/vincenthz/ghc-core-html is a good alternative to ghc-typelits-knownnat