contravariant
反変
S <: T
ならば
C<T> <: C<S>
例
関数の引数
関数の引数は反変
Contravariant型クラス