Whenever--macros imply that you're transforming the AST, whereas annotations are just first class information that used to be sideband