Hi :)
I have recently raised the same question under the following headline:
[Haskell-cafe] Re: Existentially-quantified constructors: Hugs is
fine, GHC is not?
There are some replies already, but I still do not think such a dual
behaviour of pattern matching in case/let/where is fine :)
-- Otakar Smrz