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

[Tom Ellis]

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.