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

Manuel Gómez targen at gmail.com
Sat Feb 13 10:39:44 UTC 2016

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.

More information about the Haskell-Cafe mailing list