No. Macros can optimise any way you fancy. There are no limits. For example, the Racket compiler does not need to know about the type specializing optimization

No. Macros can optimise any way you fancy. There are no limits. For example, the Racket compiler does not need to know about the type specializing optimizations that Typed Racket makes possible.