. . . "Of course the above does not compiles, because there is a type constrain on the first class and none on the second." .