{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiapzackjgh6kxxpvqdbnbqit7gw4egoner5vnseby36oe33buc6qa",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mgubdjxmmzz2"
  },
  "path": "/t/synthesizing-runtimerep-indexed-type-class-instances-in-a-ghc-plugin-to-simulate-monomorphization/13774#post_5",
  "publishedAt": "2026-03-12T09:45:49.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "> we could generate the code only at call sides.\n\n> type classes like `PrimMonad` or even `Monad` in general\n\nThis sounds like staging to me!",
  "title": "Synthesizing `RuntimeRep`-indexed type class instances in a GHC plugin to simulate monomorphization"
}