appappplus0yyappappplusappsxyappsappappplusxyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappappcurrygxyappappgxyincappmapappappcurryplusapps0app2plus000s0map0nil0cons0curry0inc0FULL./TRS/higher-order/AotoYam/011.trs