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

On Sat, Feb 13, 2016 at 5:11 AM, Bardur Arantsson 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.