@define{@a}{@lambda{@x}{@lambda{@y}{@x}}}%
{@a{1}}{2}