3 ms·

There's my cue to drag in the lambda calculus: \g = (\a\x ...) \f = (g a) Now f is is a function of x.