A screenshot of a color-coded desugaring of the following use expression:
use x <- some_fun(42) x * x
The desugared form is
some_fun(42, fn(x) { x * x })
In both cases the x is light green (variable binding), 42 is light blue (argument), some_fun is yellow (function name) and the expression "x * x" is purple (callback body).
There's also a textual description:
How it works: The use expression takes everything after it and wraps it in an anonymous function fn(x) {... }, which is then passed as the final argument to the function on the right-hand side of <-. This eliminates callback nesting without adding language complexity!