Thank you for the info., I didn&#39;t know that it had already been proposed. The constraint families seem definitely useful.<br><div><br></div><div>hugo<br><br><div class="gmail_quote">On Thu, Nov 25, 2010 at 12:53 PM, Sebastian Fischer <span dir="ltr">&lt;<a href="mailto:fischer@nii.ac.jp">fischer@nii.ac.jp</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im">On Thu, 2010-11-25 at 10:41 +0900, Hugo Pacheco wrote:<br>
&gt; Would this be a desired feature for other people?<br>
<br>
</div>I&#39;d like to have Haskell Type Constraints Unleashed<br>
<br>
<a href="http://users.ugent.be/~tschrijv/Research/papers/constraint_families.pdf" target="_blank">http://users.ugent.be/~tschrijv/Research/papers/constraint_families.pdf</a><br>
<br>
which includes equality constraint synonyms.<br>
<font color="#888888"><br>
Sebastian<br>
<br>
<br>
</font></blockquote></div><br><br clear="all"><br>-- <br><a href="http://www.di.uminho.pt/~hpacheco">www.di.uminho.pt/~hpacheco</a><br>
</div>