; (define (w a b) (f (g a) (h b) (g b) (h a))) ; (define (f a b c d) (+ a b c d)) ; (define (g a) (* a a)) ; (define (h a) (* a a a)) (define (w a b k0) (g a (lambda(v1) (h b (lambda (v2) (g b (lambda (v3) (h a (lambda (v4) (f v1 v2 v3 v4 k0)))))))))) (define (f a b c d k) (k (+ a b c d))) (define (g a k) (k (* a a))) (define (h a k) (k (* a a a)))