Я слышал, что есть некоторые проблемы с Haskell "сломанной" системой ограничений, начиная с GHC 7.6 и ниже. Что "неправильно" с ним? Существует ли сопоставимая существующая система, которая преодолевает эти недостатки?
Например, как edwardk, так и tekmo столкнулись с трудностями (например, этот комментарий от tekmo).