Yirmiuc / libghc-ghc-typelits-knownnat-doc

Derive KnownNat constraints from other KnownNat constraints; documentation