Thank you for the info., I didn't know that it had already been proposed. The constraint families seem definitely useful.
hugo On Thu, Nov 25, 2010 at 12:53 PM, Sebastian Fischer <[email protected]>wrote: > 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 > > > -- www.di.uminho.pt/~hpacheco
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
