app app app uncurry f x y app app f x y app 2 uncurry 0 FULL ./TRS/higher-order/AotoYam/017.trs