Functor variance compared to C#'s notion of variance

A note on C# co- and contravariance, and how it relates to functors. This article is an instalment in an article series about contravariant functors. It assumes that you've read the introduction, and a few of the examples. If you know your way around C# you may know that the language has its own notion of co- and contravariance.