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