[gizmo686]

Given the function "\x -> b", it is impossible for b to depend on x.

[sfvisser]

Yes, but with the same syntax you could have written '\x -> b x', changing that assumption entirely.