Added a post about type variance.