Partial application of arguments

I am trying to figure this out in C++, Haskell and Common Lisp, for anyone who cares. How'd you write a macro that does the following:


(foo (f _ y _))
==> (lambda (x z) (f x y z))

Same thing for Haskell, can it be done? What's the proper way to do this? What of C++?