(VAR f x y )
(RULES 
        app(app(app(uncurry,f),x),y) -> app(app(f,x),y)
        
)