somewhere, some type is not strictly a subtype of ...
# announcements
k
somewhere, some type is not strictly a subtype of another type