The S combinator is a sort-of generalised function application from combinator theory, the other most basic one being K.
proc S {f g x} { $f $x [$g $x] }
See Hot curry or Combinator engine for much more.