Без заголовка

Хаскель, описание ленивых вычислений в функциональной парадигме, это очень мелкие подмножества передаваемых данных. Никто не будет заниматься неестественной трансляцией Хаскеля, когда надо между системами (созданными с использованием разных языков программирования) передать данные про трубы, насосы и жизненный цикл нефтяной платформы. Проще говоря, аналоги ADT требуются сразу и для всего, а тайпклассы и (любые) вычисления уже тянут на EDSL.