looks like a type that somehow refers to itself in...
# announcements
y
looks like a type that somehow refers to itself in its type parameter