делаем открытия

Кому-то это всё давно известно, конечно. Типа Куздры. Эх, когда уж я научусь программировать.

Кароче. Сегодня выяснилось, что List - не тип, а функтор. А всякий List&X> - уже тип. Если Х - тип.

И "длина списка" - не функция, а естественное преобразование. Natural transform. Шоб вы думали, а! Век живи, век учись.

Ну и, к примеру, "обойти всё дерево" - это тоже не функция, а естественное преобразование.

И я ещё не понял, что такое методы у типа. Пока не понял.