> so, first of all, that code is I think technically illegal in Grace - because the inner "foobles" shadows the outer "foobles". It's not clear to me that this makes sense. What if both of these objects require the `foobles` method in order to satisfy an interface?