Synthesizing `RuntimeRep`-indexed type class instances in a GHC plugin to simulate monomorphization
Haskell Community [Unofficial]
March 12, 2026
Are there staging systems that can do the code sharing I’m proposing?
Discussion in the ATmosphere