add_func : x y -> x + y;
reduced : reduce @add_func @(0) @(5);
..out reduced;