[Haskell-cafe] pattern match failure as control structure

[Roel van Dijk]

Have a look at this recently uploaded package:

http://hackage.haskell.org/package/first-class-patterns

Examine the "tryMatch" function in particular.