On 05.02.2016 14:49, Richard Eisenberg wrote:I overdid it. I meant:
Could you make (->) work for values of types of user defined kinds?- 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.