Hi!<br><br>Suppose that the GHC&#39;s flag <code class="option">-fallow-incoherent-instances</code> is enabled. In this situation, when a instance will be rejected? <br>And if the flag <code class="option">-fallow-overlapping-instances 
</code> is enabled. When a instance will be rejected? <br><br>Thanks!<br><br>Rodrigo<br>