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

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

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?

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

More information about the ghc-devs mailing list