There are two kinds of input args, one is the implicit target, the others are other arguments. It's not obvious to me that the parameters other than the target have to have access to the bindings.
You keep saying "access to the bindings" as if that is a special thing. Bindings are ordinary local variables. Code has "access" to the bindings when the bindings are in scope. There's nothing magic here.
