and can be considered as a subtype of any other ty...
# announcements
v
and can be considered as a subtype of any other type