app id x x app add 0 id app app add app s x y app s app app add x y app app map f nil nil app app map f app app cons x xs app app cons app f x app app map f xs app 2 id 0 add 0 0 0 s 0 map 0 nil 0 cons 0 FULL ./TRS/higher-order/AotoYam/Ex1SimplyTyped.trs