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
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
