MPTCs and functional dependencies

Ashley Yakeley ashley at
Thu Feb 2 21:45:03 EST 2006

Ravi Nanavati wrote:
>>  > Multi-parameter type classes, yes.  Functional dependencies, no.
>> My experience is that even with very simple applications of MPTCs,
>> I often end up needing functional dependencies to make things work.
> As a user, I'll echo this.

Me three, etc.

Might it be worth holding off on MPTCs altogether if we don't also have 
fundeps or associated types?

Ashley Yakeley

More information about the Haskell-prime mailing list