I find it confusing that something is magically introducing variable bindings. I see the convenience it adds, for sure, but my personal style would be to opt f

I find it confusing that something is magically introducing variable bindings. I see the convenience it adds, for sure, but my personal style would be to opt for a more verbose approach that didn't do this.