I get why with covariance I can return a Dog (a Dog is a Mammal), but why does contravariance work the other way? Shouldn't it accept a derived type when it expects a base type? Contravariance is consistent with Postel's Law: […]

This computer magazine is targeted at both professionals and hobbyists.

And not content with imparting this valuable information to the public, the editor of the great daily publishes the results of his investigations into the probable cost of a nether-shirt of such fine material, …

O gin my sons were moudiewarts To hide into the earth, O gin my head lay in the mools Ere I had gien them birth !