(\x.x) == (\y.y)