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

[Wojtek Narczyński]

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 #.

-- 
Wojtek
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160208/6212cdd4/attachment.html>