Какие преимущества использования типов-сумм в функциональном программировании?

Некоторые преимущества использования типов-сумм в функциональном программировании:

• Редкая инициализация и настройка. softwareengineering.stackexchange.com Это происходит по мере появления в коде, а не с точки зрения выполнения, как в случае явного ветвления в бизнес-логике. softwareengineering.stackexchange.com
• Исчерпывающее сопоставление с образцом. softwareengineering.stackexchange.com Код не компилируется, если не охвачены все возможности. softwareengineering.stackexchange.com
• Возможность использовать модели поведения, которые не учитывались во время разработки. softwareengineering.stackexchange.com Это достигается путём написания новых исчерпывающих сопоставлений с шаблоном, при условии, что они соответствуют контракту объединения. softwareengineering.stackexchange.com
• Понятные, прозрачные и логичные конструкции. habr.com Математичность получающихся структур данных позволяет делать более понятные и логичные конструкции, которые находят применение в разных предметных областях. habr.com