A prime example is the impl_traits macro. Perhaps, by taking additional parameters, the macro can be generic across different curve cycles supported (e.g., pasta, BN256/Grumpkin, secp/secq).