I'm aware, I'm running Elixir in production, including custom macros.

That said, even the macro system pales in comparison with say, Haskell, in terms of expressiveness. Haskell has such a depth of constructs and allows highly sophisticated (& safe) abstractions that you often don't feel like you'd even need a separate DSL or an embedded DSL.

If anything, writing Elixir macros feels a lot like writing Typescript AST transformers to me.