<br><font size=2 face="sans-serif">Hello,</font>
<br>
<br><font size=2 face="sans-serif">I'm trying to understand what happens
when a typeclass constraint with an uninstantiated type variable gets duplicated.
</font>
<br><font size=2 face="sans-serif">Does the type checker treat the separate
copies of the constraint as two constraints (with the same type variable)
which are checked separately?</font>
<br><font size=2 face="sans-serif">Or does the type checker only consider
one constraint which is checked (simultaneously) in different contexts?</font>
<br><font size=2 face="sans-serif">Also does it matter if the constraints
are on datatype, or even gadt, constructors rather than functions?</font>
<br>
<br><font size=2 face="sans-serif">thanks,</font>
<br><font size=2 face="sans-serif">&nbsp; Jeff</font>
<br>
<br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">---</span><br>
<br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">This e-mail may contain confidential and/or privileged information. If you </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">are not the intended recipient (or have received this e-mail in error) </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">please notify the sender immediately and destroy this e-mail. Any </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">unauthorized copying, disclosure or distribution of the material in this </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">e-mail is strictly forbidden.</span><br>