Я с трудом разбираюсь в типах Высший вид против Высшего ранга. Вид довольно прост (спасибо литературе на Haskell за это), и я привык думать, что ранг похож на добрый, когда речь идет о типах, но, очевидно, нет! Я прочитал статью в Википедии безрезультатно. Так может кто-нибудь объяснить, что такое ранг? а что подразумевается под высшим рангом? Полиморфизм высшего ранга? как это относится к Kinds (если есть)? Сравнение Скалы и Хаскелла тоже было бы здорово.