appapp:appapp:xyzappapp:xappapp:yzappapp:appapp+xyzappapp+appapp:xzappapp:yzappapp:zappapp+xappfyappapp:appappgzyappapp+xaappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2:0+0g0a0map0nil0cons0filter0filter20true0false0FULL./TRS/currying/D33/31.trs