Comment by anal_reactor

I want to put the function below the arguments, so that the call tree actually looks like a tree

    u v x y
     f   g
       h

This is h(f(u,v), g(x,y)).