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 hac

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.