共変性(Covariance)と反変性(Contravariance) t2がt1の部分型であるとき、総称型コンストラクタGenTypeはこう呼ばれます。 - 共変 ― すべてのt1、t2においてGenType[t2]がGenType[t1]の部分型であるとき - 反変 ― すべてのt1、t2においてGenType[t1]がGenTyp…