Overlapping instances; Экзистенциальные типы.

Проблема overlapping instances. Причины возникновения, интерпретация. Обобщение головы, использование эквивалентности типов.

Экзистенциальные типы, абстракция относительно схемы свойств.