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