Re: Proposal to solve Haskell's MPTC dilemma

2010-05-26 Thread Isaac Dupree
On 05/26/10 15:42, Carlos Camarao wrote: What do you think? I think you are proposing using the current set of instances in scope in order to remove ambiguity. Am I right? ..I read the haskell-cafe thread so far, and it looks like I'm right. This is what I'll add to what's been said so fa

Proposal to solve Haskell's MPTC dilemma

2010-05-26 Thread Carlos Camarao
This message, sent a few days ago to haskell-cafe, presents, informally, a proposal to solve Haskell's MPTC (multi-parameter type class) dilemma. If this informal proposal turns out to be acceptable, we (I am a volunteer) can proceed and make a concrete proposal. The discussion in haskell-cafe sta