app app apply f_1 x app f_1 x app id x x app app app uncurry f_2 x y app app f_2 x y app app app swap f_2 y x app app f_2 x y app app app compose g_1 f_1 x app g_1 app f_1 x app app const x y x app listify x app app cons x nil app app app app fold f_3 g_2 x nil x app app app app fold f_3 g_2 x app app cons z t app app f_3 app g_2 z app app app app fold f_3 g_2 x t app sum l app app app app fold add id 0 l app app uncurry app app fold cons id nil id append app app compose app app swap fold cons id reverse app app uncurry app app fold app swap append listify nil length app app uncurry app app fold add app cons 1 0 app 2 apply 0 id 0 uncurry 0 swap 0 compose 0 const 0 listify 0 cons 0 nil 0 fold 0 sum 0 add 0 0 0 append 0 reverse 0 length 0 1 0 FULL ./TRS/higher-order/Lifantsev/Ex10Functional.trs