<div>with:</div>
<div>&nbsp;</div>
<div>&gt;{-# OPTIONS -fglasgow-exts&nbsp; -fallow-undecidable-instances&nbsp; #-}</div>
<p>&gt;class A a <br>&gt;class R a&nbsp; </p>
<p>&gt;class S a </p>
<p>&gt;instance&nbsp; R a =&gt; A a </p>
<div>&gt;instance S a =&gt; A a <br></div>
<div>----------</div>
<div>&nbsp;</div>
<div>GHC gives</div>
<div>&nbsp;</div>
<div><em>Duplicate instance declarations</em></div>
<div><em>&nbsp; instance&nbsp; R a =&gt; A a </em></div>
<div><em>&nbsp; instance S a =&gt; A a </em></div>
<div><em></em>&nbsp;</div>
<div><em>Why?</em></div>