That's still just high-level lexical sugar - the 'scope' is not captured, just rewritten. After desugaring, there is no scope left, even lexically.
It's completely different from a 'closure' in a language that has variables.
It's completely different from a 'closure' in a language that has variables.
f x = (\y -> x + y)