8 Feb
2016
8 Feb
'16
3:42 p.m.
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