But those annotations already have `TYPE` in their...
# language-proposals
o
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?