Whatever happened to the idea of Or-Patterns? http://www.haskell.org/pipermail/glasgow-haskell-users/2000-December/001535.html I find them more than occasionally useful :) Is there some theoretical difficulty or is it just that nobody had the time/will to implement it? Regards, Lajos Nagy