(VAR g h x xs )
(RULES 
        ap(ap(f,x),x) -> ap(ap(x,ap(f,x)),ap(ap(cons,x),nil))
        ap(ap(ap(foldr,g),h),nil) -> h
        ap(ap(ap(foldr,g),h),ap(ap(cons,x),xs)) -> ap(ap(g,x),ap(ap(ap(foldr,g),h),xs))
        
)