Здравствуйте, VladD2, Вы писали:

VD>За утверждение:
VD>

Вывод типов в системе с каррингом слегка удобнее.

А что, разве не так?

Вместо одной аксиомы для типа 'a -> 'b нужен набор аксиом для n-арных функций.