disco-0.1.0.0: test/syntax-juxt-app/juxt-app.disco

f : (N -> N) -> N * N -> N -> Z
f g (x,y) z = x + g y - z   -- here g y is function application