appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappapptreemapfappappnodexxsappappnodeappfxappappmapapptreemapfxsapp2map0nil0cons0treemap0node0FULL./TRS/higher-order/Bird/TreeMap.trs