Предлагаю загадку:

Можно ли в C# наложить такие ограничения на генерики (A<T> where T : ...), чтобы они с одной стороны компилировались, а с другой стороны реальный тип, удовлетворяющий этим ограничениям не мог быть создан (в силу неких "противоречий" в ограничениях). Рассматриваются генерики любого типа.