[Moved to haskell-cafe] G'day all. Quoting Don Stewart :

You can't pattern match 'a' and 'a' like that -- there's no implicit unification.

Since we're being nostalgic in other threads, this is #1 on my list of things I miss from Miranda. It's also high on my "things that are damned useful in 1000-line programs but would wreak silent havoc in large applications" list. Cheers, Andrew Bromage