Remove unused function.
Give Exception.bind a more general type.
Allow patterns on the lhs of monad-notation bindings.
Monadic parsing example.

Based on "Monadic Parsing in Haskell" by Hutton & Meijer.
Tabs -> spaces.
Handle pattern-matching failure in perform blocks.

Generate calls to "fail", as in Haskell do-notation.
Attempt to detect syntactically whether pattern-matching can fail and generate code accordingly.
Examples making use of pattern matching on the lhs of '<--'.