appapptwicefxappfappfxappappmapfnilnilappappmapfappappconshtappappconsappfhappappmapftappappfmapnilxnilappappfmapappappconsft_fxappappconsappfxappappfmapt_fxapp2twice0map0nil0cons0fmap0t_f0FULL./TRS/higher-order/Lifantsev/Ex8Polymorphic.trs