Re: more flexible partial application

Are there any subtle reasons for why something like the following couldn't be allowed?

...

foo x y z w = ... bar x w = foo x _ _ w

I.e. a more flexible version of partial application. This would be translated too

...

bar x w = \y z -> foo x y z w

I.e a function which takes the "_" parameters in the same order they were encountered in the function application.

I just want to make sure I understand this. What would

foo x y z = \w -> ... bar x w = foo x _ _ w

mean?

bar x w = \y z -> foo x y z w

or

bar x w = (\y z -> foo x y z) w

Cheers, Andres