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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe