name <- Name; Name = (\x : (int) -> "Freddy") name; let Name = 17 in Name = 13 end