let delta = \x. x x Delta = (\y. y y) (\z. z z) in delta Delta