変性 type-theory 共変(covariant): B <: A => I<B> <: I<A> 反変(contravariant): B <: A => I<A> <: I<B> 参考文献 2022-06-15 RustにおけるVariance(変性)をふんわり理解する [Kotlin]ジェネリクスの「制約」と「in/out」キーワード 2022-11-06 共変性と反変性 (計算機科学) - Wikipedia