(VAR F x xs y )
(RULES 
        map(F, nil) -> nil
        map(F, cons(x, xs)) -> cons(, map(F, xs))
        ps(nil) -> nil
        ps(cons(x, xs)) -> cons(x, ps(map(, xs)))
        
)