[Haskell-cafe] pattern match failure as control structure