add_func : x y -> x + y;
result : add_func @(3 + 2) @(4 + 1);
..out result;