I will draw and utilise connections between strands of metaprogramming practice and concepts in modern algebra. Modern algebra concerns the holistic study of algebraic structures and their interrelationships. In the first part of the talk, I will explore how algebraic identities enable construction of non-standard interpretations, facilitating modern partial evaluation for code generation. In the second part of the talk, I will describe more general algebraic structure and outline preliminary applications to language workbenches and hole-based metaprogramming.