MPTCs and functional dependencies

[Ashley Yakeley]

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