appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappappendxsnilxsappappappendnilysysappappappendappappconsxxsysappappconsxappappappendxsysappappzipnilyssyssappappzipxssnilxssappappzipappappconsxsxssappappconsysyssappappconsappappappendxsysappappzipxssyssappappcombinexsnilxsappappcombinexsappappconsysyssappappcombineappappzipxsysyssapplevelsappappnodexxsappappconsappappconsxnilappappcombinenilappappmaplevelsxsapp2map0nil0cons0append0zip0combine0levels0node0FULL./TRS/higher-order/Bird/TreeLevels.trs