Macros are not generics even though you can use them as such. Macros define new statements (and definitions for the languages that make a distinction). This all

Macros are not generics even though you can use them as such. Macros define new statements (and definitions for the languages that make a distinction). This allows you to extend the language to the specific domain and it's impossible to do with functions/generics in general case.