Desmistificando Covariância e Contravariância em C#

Se existe uma funcionalidade pouco explorada no ambiente .NET é a de generalizar interfaces ou delegates utilizando de covariância e contravariância. O que é? Esse recurso foi adicionado no C# 4 e está intimamente ligada na forma que tratamos tipos g...