New type of ($) operator in GHC 8.0 is problematic

Wojtek Narczyński wojtek at
Mon Feb 8 15:42:07 UTC 2016

On 08.02.2016 16:36, Wojtek Narczyński wrote:
> On 05.02.2016 14:49, Richard Eisenberg wrote:
>> - Edward is right in that (->) isn't really levity-polymorphic. Well, 
>> it is, but it's ad hoc polymorphism not parametric polymorphism. 
>> Perhaps in the future we'll make this more robust by actually using 
>> type-classes to control it, as we probably should.
> Could you make (->) work for values of types of user defined kinds?
I overdid it. I meant:

Could you make (->) work types of user defined kinds?

I mean more-less normal functions, only with types of kinds other than * 
and #.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list