es15 (define (Miciomiao f) (lambda (x) (if (even? x) (* 2 (f x)) (f x))))