There's my cue to drag in the lambda calculus:

  \g = (\a\x ...)
  \f = (g a)

Now f is is a function of x.