which makes sense because `this` could be a subtyp...
# announcements
k
which makes sense because
this
could be a subtype of
Foo