共変性と反変性
covariance and contravariance
ポリモーフィズム
サブタイピング
継承
https://ja.wikipedia.org/wiki/共変性と反変性_(計算機科学)