Maybe this is too specific for the macro annotation use cases.