[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