2зной
1ответ
Получение тривиального класса Eq из GADT
4зной
3ответ
Функции для полиморфных типов данных
1зной
2ответ
4зной
2ответ
Приключения с типами в Haskell: GADT: почему следующие typechecks?
13зной
1ответ
Тип-безопасный поток (машина состояния)
3зной
1ответ
Возможно ли создать экземпляр моноида для GADT?
8зной
2ответ
GADT аргумент типа не используется для разрешения класса типов