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