Synthesizing `RuntimeRep`-indexed type class instances in a GHC plugin to simulate monomorphization

we could generate the code only at call sides.

type classes like PrimMonad or even Monad in general

This sounds like staging to me!