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
_______________________________________________
Haskell-prime mailing list
[email protected]
http://haskell.org/mailman/listinfo/haskell-prime
