Welcome! Please see the About page for a little more info on how this works.
Dan Friedman's pattern matcher has a nice feature called cata-matching - allowing recursive matching from the match itself. Useful when writing compilers.
Comment made by: dnolen
Similar to function application except that if a function call throws a no match exception, catch and backtrack.
Going to de-prioritize for now as matching on function applications delivers a lot of power as is.