[Haskell-cafe] New type of ($) operator in GHC 8.0 is problematic

[Manuel Gómez]

On Sat, Feb 13, 2016 at 5:11 AM, Bardur Arantsson <spam at scientician.net> wrote:
> Basically it _can_ subsume type classes, but using it for that purpose
> is unbelievably verbose and it doesn't get you global coherence.

If it doesn’t get you global coherence, then it does not subsume type
classes, as that is most of the reason type classes are useful.