Derivando restrições KnownNat de outras restrições KnownNat
