You got it the other way around. Macros can implement (nearly) anything. Including some form of opt-in type introspection via derive macros.

They weren't a hack to get reflection. They are a way to codegen stuff easily.