Variance has been well understood in PL theory in basically forever. None of the languages had to borrow it from each other because they could all just get the

Variance has been well understood in PL theory in basically forever. None of the languages had to borrow it from each other because they could all just get the inspiration from type theory.