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

[Wojtek Narczyński]

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?

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