http://hydrocodedesign.com/2014/04/02/higher-kinded-types/
Ъ: со временем, каждый прогрессивный язык становится хаскеллем. Динозавры же превращаются в COBOL и PL/I.
Слово «haskell» вызывает у вас дискомфорт? Чувствуете тревогу при одном только виде «class Monad m where»? СТРЕЛКИ заставляют вас просыпаться в холодном поту?
Полиморфизм высших порядков уже идёт к вам. Кстати, к программистам на Scala он уже давно пришёл.
Обсуждение статьи на reddit'е: http://www.reddit.com/r/rust/comments/2212j2/higherkinded_polymorphism/. Как видно, никто не против, только просят не пугать перебежчиков из С++ страшными словами вроде «монады».