谈谈 Variance

Variance 是一个计算机科学中的术语，简单来说，如果 A 和 B 两个类型有某种关系，比如 A 是 B 的子类型，那么 Type<A> 和 Type<B> 之间的关系是什么？