(VAR x y )
(RULES 
        ap(ap(g, x), y) -> y
        ap(f, x) -> ap(f, app(g, x))
        
)