appidxxappadd0idappappaddappsxyappsappappaddxyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsapp2id0add000s0map0nil0cons0FULL./TRS/higher-order/AotoYam/Ex1SimplyTyped.trs