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