[External] : Re: Guards

[Brian Goetz]

> Apart from what have said about letting grobble to fully access to the 
> bindings

Except that argument doesn't make sense.  Accessing the bindings is not 
a special behavior of grobble, but a natural consequence of flow 
scoping.  If I have P && g (or P & grobble(g)), then the scoping rules 
will tell us that the true set of P is present in g, and we're done.  
Nothing special here.