Здравствуйте, yenik, Вы писали:

Y>Коллекции суть ссылочный типы, естественно, равенство для них — это ссылочное равенство.

Рекорды тоже ссылочный тип. Но эквивалентность для них сделана по значению. Следственно естественного тут ничего нет. Это твои стереотипы.

Тут на лицо непоследовательность. Для одних типов делаем, для других нет.

Взялись повторять функциональные языки, но на полпути забили на это дело. В Немерле есть встроенный список, который сам по себе является алгебраическим типом и для него эквивалентность работает как надо. Тут же ничего подобного не предусмотрели. Сам метод переопределения эквивалентности сделали мягко говоря странно.

Y>Странным было бы, если бы их равенство по дефолту делалось через SequenceEqual.

Что тут странного? Странно, что коллекции не поддерживают Equals и IEquatable из коробки.