{\apply {\lambda {\x} {\add \x 1}} {22}}