so the result is a type that is the union of all i...
# announcements
d
so the result is a type that is the union of all involved types