Использование ряда новых языковых функций в Scala it 'Можно реализовать систему компонуемых компонентов и создавать компоненты, используя так называемый Cake Pattern, описанный Мартином Одерским в статье.Масштабируемые абстракции компонентов а также внедавний разговор.

Некоторые функции Scala, используемые в Cake Pattern, имеют соответствующие функции Haskell. Например, импликации Scala соответствуют классам типов Haskell и Scala 'члены абстрактного типа, похоже, соответствуют Haskell 'связанные типы. Это заставляет меня задуматься о том, можно ли реализовать Cake Pattern в Haskell и как он будет выглядеть.

Можно ли реализовать Cake Pattern в Haskell? Каким функциям Haskell соответствуют функции Scala в такой реализации? Если Торт Pattern можетне реализованы ли в Haskell какие языковые функции отсутствуют, чтобы сделать это возможным?