[Haskell-cafe] Equality constraint "synonyms"

[Daniel Díaz]

El Jue, 25 de Noviembre de 2010, 4:53 am, Sebastian Fischer escribió:
>
> I'd like to have Haskell Type Constraints Unleashed
>
> http://users.ugent.be/~tschrijv/Research/papers/constraint_families.pdf
>

An example from the paper:

> constraint Num a = (Additive a, Multiplicative a, FromInteger a)

It seems a very nice feature. I commonly write the same context many
times. In other cases, I need to make the same change on many equal
contexts. I wonder if there is something negative in this feature.

-- 
Daniel Díaz