(VAR x )
(RULES 
        ap(ap(ff, x), x) -> ap(ap(x, ap(ff, x)), ap(ap(cons, x), nil))
        
)