Example for both rules:

$\lambda x . \lambda y . ((x y) z)$

is equivalent to

$\lambda xy.xyz$.