<p dir="ltr">On Apr 20, 2015 2:26 PM, "Bardur Arantsson" <<a href="mailto:spam@scientician.net">spam@scientician.net</a>> wrote:<br>
> Well, I would generally advise against trying to emulate a flawed<br>
> concept in the first place. "OverlappingInstances" and<br>
> "UndecidableInstances" are a red flag unless you know *exactly* what you<br>
> are doing.</p>
<p dir="ltr">While I completely agree about OverlappingInstances, I completely disagree about UndecidableInstances. Most of the time, that's only needed because the termination check for FlexibleInstances and FlexibleContexts is too primitive.</p>