Re: [Haskell-cafe] Attempt to emulate subclasses in Haskell, am I reinventing the wheel?

On Apr 20, 2015 2:26 PM, "Bardur Arantsson" 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.