型パラメータで型の横に共変(+), 反変(-)の変位アノテーションを付けて変位指定ができる。 変位指定アノテーションを付けない場合は非変(nonvariant)になる。 どのパラメータ型を渡せるかの3種類の規則を指定。 共変(covariant) 型コンストラクタに共変の変位指定アノテーション[+T]を指定すると T とそのサブ型も扱えるよ…