y = \x : x