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

Joel Reymont joelr1 at gmail.com
Thu Dec 8 07:43:56 EST 2005

Doesn't this have an effect on performance?

Is GHC still able to optimize things properly?

On Dec 8, 2005, at 10:20 AM, Bulat Ziganshin wrote:

> Hello Joel,
> Thursday, December 08, 2005, 12:26:52 PM, you wrote:
> JR> I was also hoping that something like this would let me avoid
> JR> quantifying a in functions downstream but alas, it does not  
> happen. I
> JR> have to use (Eq a, Show a) => a ... everywhere else.
> to avoid context declarations you can (need?) completely avoid
> function types declarations, as i do


More information about the Haskell-Cafe mailing list