Shouldn't `Bar().lam()` work since Bar() extends F...

# announcements

[dean]

Shouldn't Bar().lam() work since Bar() extends Foo (and type T is guaranteed to be of type Foo)