Igor
Да! А чо, там тоже DU есть...
Да что там DU. Там система типов куда интереснее F#.
Есть тайпклассы c associated types (а это полноценный тьюринг-полный тайплевел), есть литеральные типы в виде const дженериков, есть экзистенциалы (пусть и чуть кривоватые), почти вышли местные HKT (пусть и тоже в чуть ограниченном виде)
А, ну и конечно же афинные типы.