appappminusx0xappappminusappsxappsyappappminusxyappdouble00appdoubleappsxappsappsappdoublexappappplus0yyappappplusappsxyappsappappplusxyappappplusappsxyappappplusxappsyappappplusappsxyappsappappplusappappminusxyappdoubleyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2minus000s0double0plus0map0nil0cons0filter0filter20true0false0FULL./TRS/currying/AG01/#3.18.trs