On Dec 26, 2012, at 8:36 PM, David Herman <dherman at mozilla.com> wrote: > - JS is dynamically scoped, so having an implicit dummy value isn't a problem for the type system. Holy misnomers, batman. I meant dynamically typed. May Bob Harper have mercy on my soul.  Dave  He won't. He'll still be mad at me after my correction.