appappappuncurryfxyappappfxyapp2uncurry0FULL./TRS/higher-order/AotoYam/017.trs