I want to provide to my Rational type a generic constructor that accepts a couple of generic arguments (constrained by a concept), so I can avoid to write dozens of different constructors for Natural, Integer, Real, Irrational, Complex and its possible different combinations.