Lambda the Ultimate

You guys might get a kick out the recent macro abuse I've been playing around with. The sum types/pattern matching are straightforward, but perhaps of more interest here, the exception handling form is that first suggested by Andrew Kennedy and Nick Benton in Exceptional Syntax, and later generalized in Handlers of Algebraic Effects.