「variant か invariant か」というのは、おそらく**型システムにおける変性（variance）**の話かと思いますが、文脈によって意味が変わるので、主なケースを整理しますね。 ## 型の変性（ジェネリクスの話なら） ジェネリック型 `F<T>` について、`A` が `B` のサブタイプのとき： | 種類 | 関係 | 例 | |---|---|---| | **共変（co