generated at
contravariant
反変
S <: T ならば C<T> <: C<S>


例
関数の引数
関数の引数は反変


Contravariant型クラス