In a context where lambda expressions are not yet used, and
operators are not functions
Binders, Adapters and Negaters