a -> d -> d + a;
совпадает с
a -> (d -> d + a);
, которая является функцией, которая для двойного a
возвращает функцию, которая для двойного d
возвращает сумму a
и d
.
Подробнее о частичном применении функций или превращении функции с несколькими аргументами в функции с несколькими аргументами см. curry .