f x = let y = id x in y
--f x = (\y -> y) (id x)