Hi!<br><br>Suppose that the GHC'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>