| * * * Ketil Malde wrote: | | > ut - the converse is not true, is it? I can write | > | > ... = case foo of | > (Foo f) -> ... | > (Bar b) -> ... | > | > ut I can't express that as a pattern-guarded expression, can I? Check out http://research.microsoft.com/~simonpj/Haskell/guards.html which is implemented in GHC. Thus f x | Foo a <- x = ... | Bar b <- x = ... Simon