Nominal なジェネリック型の型パラによる Variance も導入されてないのに、 Non-nominal な型のサブタイピングが導入されるとかきつそう。