haskell - 用于类似 Haskell 的表达式语法的解析器库

Question

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

• Parser 会动态更新自身以接受新定义的运算符。
• 中缀运算符可以转换为括号中的函数。
• 函数可以转换为在坟墓中围绕它们的中缀运算符。
• 使用 Haskell 语法的函数调用（带有空格分隔参数的可选括号）。

有没有实现它的现有库？

我当前的解析器是用Megaparsec编写的，所以我会欣赏一个与之兼容的解决方案。