I queried (:t) the type of something in GHCi, and it told me the value should have the constraint (a -&gt; a ~ T a) among others. When I tried to use this in code, I got a &quot;malformed class assertion.&quot; So, I put parentheses around the function type, ((a -&gt; a) ~ T a), and everybody is happy again. Is there something off about the precedence of (~) vs. (-&gt;)? Should GHCi print the parentheses?<br>

<br>I&#39;m using GHC 6.10.1, so this might already be fixed.<br><br>Regards,<br>Sean<br>