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.