Вероятно, проще сначала кратко изложить мою общую проблему, а затем показать, где я застрял. Я хочу получить список JSON некоторого одноэлементного индексированного типа, где тип индексации также имеет связанное семейство типов. В коде: data...

Контекст Я пытаюсь реализовать EDSL, который немного напоминает IBM OLP (язык моделирования для линейного программирования). Код Код Haskell EDSL {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE...

Итак, ghci выдает интересную ошибку, когда я пытаюсь определить тип полиморфного возвращаемого значения при использовании DataKinds . У меня есть следующий код: {-# LANGUAGE DataKinds #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE...