Re: [Haskell-cafe] Re: Proposal to solve Haskell's MPTC dilemma

2010-05-29 Thread Isaac Dupree
On 05/29/10 21:24, Carlos Camarao wrote: The situation is as if we a FD: Well, that is indeed equivalent here in the second argument of class F, but I constructed the example to show an issue in the class's *first* argument. Notice you needed to add type-signatures, on the functions you nam

Re: [Haskell-cafe] Re: Proposal to solve Haskell's MPTC dilemma

2010-05-29 Thread Carlos Camarao
On Fri, May 28, 2010 at 2:36 AM, Isaac Dupree < m...@isaac.cedarswampstudios.org> wrote: > On 05/27/10 17:42, Carlos Camarao wrote: > >> On Thu, May 27, 2010 at 5:43 PM, David Menendez >> wrote: >> >> On Thu, May 27, 2010 at 10:39 AM, Carlos Camarao >>> wrote: >>> Isaac Dupree: >