(λx.λy.(x y) (y w))
λy.((y w) y)
(λy.(y w)) y
y w

But actually look more like a simple definition of a lambda without any arguments.
I'm not sure about this one.