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

[Bulat Ziganshin]

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


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