I guess this week is compiler week.
A compiler compiler design. It lets you write compiler optimizations as a lot of separate, easy to think about passes. And then the compiler compiler combines them.
https://dl.acm.org/doi/pdf/10.1145/3140587.3062346
I feel like this existed already. It is a little too obvious of an optimization.