Может ли кто-нибудь предложить хорошую библиотеку ограничений для Haskell?

Я начал изучать программирование с ограничениями и чувствую, что это то, что хорошо работает с Haskell (также мне нравится использовать Haskell).

Есть есть ли зрелые рамки ограничений для Haskell?