\x. x x
(\x. x x)(y y y)
x
\x.\y.\z. ((x y) z)
9
(\x.y)(λu.v) (x)