since T could be Bar but the place where I say `Ba...
# announcements
d
since T could be Bar but the place where I say
Bar()
could be
Foo()
, in which case it would fail