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 app app comp f g x app f app g x app twice f app app comp f f app 2 map 0 nil 0 cons 0 comp 0 twice 0 FULL ./TRS/higher-order/AotoYam/026.trs