Quote: an update type is an invariant type operator on pairs of types; i.e., if A * B means A and B may be updated, then A * B <: A' * B' provided A=A' and B=B'
Finally, consider pairs whose components can be updated; … The operator * does not enjoy any covariance … say that * is an invariant operator (in …
Google-1Google-2