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

Bulat Ziganshin bulatz at HotPOP.com
Thu Dec 8 05:20:02 EST 2005

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

More information about the Haskell-Cafe mailing list