no, because the types might come from another type...
# announcements
j
no, because the types might come from another type parameter which isn't