3 ms·

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

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