[Haskell-cafe] Existentially-quantified constructors,
Eq and Show
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