The S combinator is a sort-of generalised function application from combinator theory.
proc S {f g x} { $f $x [$g $x] }