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

[John Meacham]

On Thu, Dec 08, 2005 at 09:13:10AM +0100, Tomasz Zielonka wrote:
> Shouldn't it be:
> 
> > data State
> >     = Start
> >     | Stop
> >     | forall a . (Show a, Eq a) => State a

ah. you are right. my bad.

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈