[sfvisser]

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