appappfmapfnilxnilappappfmapappappfconsftxappappconsappfxappappfmaptxapp2fmap0fnil0nil0fcons0cons0FULL./TRS/higher-order/Lifantsev/Ex4MapList.trs