Variance in type systems

A brief explanation of what covariant, contravariant and invariant mean. With examples in various languages.