лямбда-исчисление: передача двух значений в один параметр без каррирования

Я не могу понять, почему следующее бета-сокращение разрешено в нетипизированном лямбда-исчислении:

(λx.x y) (u v) -> ((u v) y)

В частности, я не могу понять как можно передать два параметра u и v в один параметр x в части λx.x . Чтобы разрешить вышесказанное, не следует ли мне использовать каррирование и иметь два параметра? Вот так -

(λx.(λy.(x y))) (u v)