Combinators
A combinator is a function in the Lambda Calculus having no free variables.
?x. ?y. (x y) is a combinator
?x. ?y. (x z) is not a combinator
Combinators can serve nicely as modular building blocks for more complex expressions.
The Church numerals and simulated booleans are examples of useful combinators.