GenericsにCovariant/Contravariantっぽい機能を追加できるようになる