$use Apply Arithm StdIO;

$func F s1 s2 = s3;

F s1 s2 = <"+" s1 s2>;

Main = <Apply &F 1>;