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

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Sun Feb 7 09:26:04 UTC 2016

On Sun, Feb 07, 2016 at 01:55:25AM +0100, Marcin Mrotek wrote:
> I hesitate to suggest this, as someone who didn't write any Haskell for a
> couple of months now, but maybe the already mentioned suggestion of having
> a ($) that only works for lifted types and (#$) that is levity polymorphic
> would be a good choice?

If we're going to introduce levity polymorphism then I think separate
operators are a good place to start.  Unifying them can happen once everyone
has had a chance to get used to the idea.

More information about the Haskell-Cafe mailing list