New type of ($) operator in GHC 8.0 is problematic
wojtek at power.com.pl
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 *
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs