[Haskell-cafe] Kind polymorphism

[Martijn van Steenbergen]

Hello,

Are there currently any known problems that would hinder the
implementation of kind polymorphism [1], e.g. unresolved inelegancies or
technical limitations, or is it only a matter of finding the time to
implement it?

Thanks,

Martijn.

[1] http://hackage.haskell.org/trac/haskell-prime/wiki/KindInference
_______________________________________________
Haskell-Cafe mailing list
Haskel...@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe