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

Joel Reymont joelr1 at gmail.com
Thu Dec 8 04:26:52 EST 2005

I was also hoping that something like this would let me avoid  
quantifying a in functions downstream but alas, it does not happen. I  
have to use (Eq a, Show a) => a ... everywhere else.

On Dec 7, 2005, at 11:14 PM, Bulat Ziganshin wrote:

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


More information about the Haskell-Cafe mailing list