appappminusx0xappappminusappsxappsyappappminusxyappf0apps0appfappsxappappminusappsxappgappfxappg00appgappsxappappminusappsxappfappgxappappmapfunnilnilappappmapfunappappconsxxsappappconsappfunxappappmapfunxsappappfilterfunnilnilappappfilterfunappappconsxxsappappappappfilter2appfunxfunxxsappappappappfilter2truefunxxsappappconsxappappfilterfunxsappappappappfilter2falsefunxxsappappfilterfunxsapp2minus000s0f0g0map0nil0cons0filter0filter20true0false0FULL./TRS/currying/AG01/#3.36.trs