[bassislife]

A very nice explanation about what covariance and contravariance mean, especially in the context of subtyping (with potential parametric polymorphism).

And implementation details are provided. An undergrad should be able to understand this.