3 ms·Type Systems: Covariance, Contravariance, Bivariance, and Invariance Explained9 points by thejameskyle 10y ago