and there is no type that I can declare statically...
# announcements
g
and there is no type that I can declare statically that passes the recursive check