@define{@a}{@lambda{@x}{A<@x>}}%
@define{@b}{@lambda{@x}{B<@x>}}%
%@define{@c}{@b @a @b}%
@a{a @b{b}}