到(A'→B)→B ≦ (A→B)→B 当 A'≦A。即，型别(A→B)→B在A位置是"协变的"。在跟踪判断为何某一型别特化不是型别安全的可能令人困扰，但是比较容易计算哪个位置是协变或逆变：一个位置是协变当且仅当在偶数个箭头的左边。例如，在Visual Basic中，允许把lambda表达式（匿名函数）赋值给委托（delegate）类型的实例，如果参数是widen，返回值是narrowen：' 定义委托 Del1Delegate Function Del1(ByVal arg As Integer