[gpderetta]

that's basically implicit parameters, the typed, well behaved version of dynamic scoping.

[int_19h]

Yep, I believe that's what Scala called that.

And I think we need something like this to get people off globals.