Bottom-Up vs Top-Down Macroexpansion

What if we macroexpand depth-first? Don't you think that macros get more powerful?

>>6,8

Why bother with typesafe macro expansion if any unsafe expansions are going to be checked by the next compiler phase? I'm genuinely curious.