Re: Re[2]: [Haskell-cafe] Existentially-quantified constructors, Eq and Show