Гуглозло

Хотел спросить в ЖЖ, какой смысл несут слова "ковариантный" и "контравариантный" при использовании их в рассуждениях о системах типов и прочем CS-зле, но сначала пошел искать в гугле как правильно сформулировать вопрос, вместо этого нашел ответ.