Report question

Question: Why was IEquatable T not made contravariant in T for C# 4.0?