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

[Bulat Ziganshin]

Hello Joel,

Thursday, December 08, 2005, 1:12:07 AM, you wrote:

JR> Is there a less verbose way of doing this:

data (Show a, Eq a) => State a
     = Start
     | Stop
     | State a
   deriving (Show, Eq)



-- 
Best regards,
 Bulat                            mailto:bulatz at HotPOP.com