ワイルドカードは互換性とか関係なく糞だけどな
どうせ型引数は消えるのになんで素直にcovariant/contravariantにしなかったのか