Рассмотрим этот комбинатор: S (S K) Применим его к аргументам XY: S (S K) X Y Он заключает контракт...