(VAR f g x )
(RULES 
        app(app(app(compose,f),g),x) -> app(f,app(g,x))
        
)