Por ejemplo, convertiremos el término lambda λ"x".λ"y".("y" "x")) a un combinador: