В настоящее время я пытаюсь понять больше о правилах завершения экземпляра , чтобы объяснить такие ошибки, как The constraint ... is no smaller than the instance head, и не использовать UndecidableInstances, не зная точно, что это так.
Я уверен, что есть еще правила проверки типов, касающиеся экземпляров, о которых я не знаю, и которые мне было бы интересно узнать.
Где можно найти более подробное описание того, что такое Haskellтам?К сожалению, Понимание функциональных зависимостей с помощью правил обработки ограничений кажется мне слишком сложным.