appapp:appapp:appapp:appapp:Cxyzuappapp:appapp:xzappapp:appapp:appapp:xyzuappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2:0C0map0nil0cons0filter0filter20true0false0FULL./TRS/currying/D33/30.trs