Trudno mi zrozumieć typy Wyższego Kinda i Wyższej Rangi. Rodzaj jest całkiem prosty (dzięki literaturze Haskella) i zwykłem myśleć, że ranga jest podobna do rodzaju, ale najwyraźniej nie! Przeczytałem artykuł w Wikipedii bezskutecznie. Czy ktoś może wyjaśnić, czym jest ranga? a co oznacza Higher Rank? Polimorfizm wyższej rangi? jak to przychodzi do rodzaju (jeśli w ogóle)? Porównanie Scali i Haskella też byłoby niesamowite.