Re: [Haskell-cafe] Equality constraint "synonyms"

On Thu, 2010-11-25 at 10:41 +0900, Hugo Pacheco wrote:

Would this be a desired feature for other people?

I'd like to have Haskell Type Constraints Unleashed http://users.ugent.be/~tschrijv/Research/papers/constraint_families.pdf which includes equality constraint synonyms. Sebastian