Библиотеки для последовательной не -линейной оптимизации в хаскеле?

Существуют ли библиотеки для последовательной нелинейной -оптимизации с верхними и нижними границами, а также ограничениями неравенства, которые написаны на Haskell или легко вызываются из него?