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

T>Берем наследование прямоугольника от квадрата на примере иммутабельного списка. Новый класс внезапно добавляет методом Add не один, а два элемента. Ну то есть исправно возвращает новый список, но у него уже не на один элемент больше, а на два. Всё, приехали — модификации состояния нет, а проблема "прямоугольник от квадрата" как была, так и осталась.
Не вижу никакой проблемы. Сформулируйте её, пожалуйста, в этом примере.