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

8 Dec 2005


      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⑈