具有类似Haskell表达式语法的解析器库

Question

我想扩展一种玩具函数式编程语言，以接受类似于Haskell的中缀运算符。以下是我感兴趣的特征：

• 解析器动态更新自身以接受新定义的运算符。
• 可以将括号中的运算符转换为包围它们的函数。
• 可以将功能转换为坟墓中围绕它们的中缀运算符。
• 使用Haskell语法（带空格分隔的参数的可选括号）进行函数调用。

是否存在任何实现它的库？

我当前的解析器是用Megaparsec编写的，因此，我将欣赏与之兼容的解决方案。