because now `myFoo` is a top-level variable, so it...

# announcements

[kevinmost]

because now myFoo is a top-level variable, so its type is inferred when you set it, and I guess it's inferred as being a Foo, not being a "something that extends `Foo`"