concA:(Object -> string) = conc "A"
ну че тут может быть не понятно если по карированию мы заполнили только 1 парам
2й у нас задефайненый выше и известен
почему он вдруг стал ‘a?? - (b:Object) !!
потому что генерализация obj до 'a работает
Обсуждают сегодня