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