But those annotations already have `TYPE` in their...

# language-proposals

[okkero]

But those annotations already have TYPE in their target lists, so they can be applied to other annotations like that. Is it not possible to compose arbitrary annotations?