(VAR F G lf x )
(RULES 
        dapply(x, F, G) -> 
        lapply(x, nil) -> x
        lapply(x, cons(F, lf)) -> 
        
)