On Apr 20, 2015 2:26 PM, "Bardur Arantsson" <spam@scientician.net> wrote:
> Well, I would generally advise against trying to emulate a flawed
> concept in the first place. "OverlappingInstances" and
> "UndecidableInstances" are a red flag unless you know *exactly* what you
> are doing.

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.