Me está costando entender los tipos de clase superior vs clase superior. Kind es bastante simple (gracias a la literatura de Haskell por eso) y solía pensar que el rango es amable cuando se habla de tipos, ¡pero aparentemente no! Leí el artículo de Wikipedia en vano. Entonces, ¿alguien puede explicar qué es un Rango? y ¿qué se entiende por rango superior? ¿Polimorfismo de rango superior? ¿Cómo se trata de las clases (si las hay)? Comparando a Scala y Haskell sería increíble también.