Correct a typo in example text and go into a bit more detail on contravariance