欢迎！请参阅关于页面以获取有关此功能的更多信息。
Dan Friedman 的模式匹配器有一个名为 cata 匹配的不错特性 - 允许从匹配本身进行递归匹配。这在编写编译器时很有用。
评论者：dnolen
类似于函数应用，不同之处在于如果函数调用抛出无匹配异常，则捕获并回溯。
目前将降低优先级，因为函数应用上的匹配已经提供了很多功能。
