Я хочу иметь пустое ограничение для более высокого вида. Предположим, у меня есть следующий класс:...

Я получаю неожиданную ошибку при попытке скомпилировать небольшой файл Haskell с GHC 8.6.1 при...

как можно представить пустое ограничение? для следующего файла {-# LANGUAGE ConstraintKinds #-} {-#...

Я получаю сообщение об ошибке, что Constraint находится вне области действия, когда я пытаюсь...