appappplus0yyappappplusappsxyappsappappplusxyappapptimes0y0appapptimesappsxyappappplusappapptimesxyyappappappcurrygxyappappgxyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsincappmapappappcurryplusapps0doubleappmapappappcurrytimesappsapps0app2plus000s0times0curry0map0nil0cons0inc0double0FULL./TRS/higher-order/AotoYam/010.trs