{
"$type": "site.standard.document",
"bskyPostRef": {
"cid": "bafyreiheayr3szjw6r7xvq5esfvotmso6fghnk2ifesmb4gocl5mlpf7hy",
"uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mgvjmisymgz2"
},
"path": "/t/synthesizing-runtimerep-indexed-type-class-instances-in-a-ghc-plugin-to-simulate-monomorphization/13774#post_6",
"publishedAt": "2026-03-12T10:15:36.000Z",
"site": "https://discourse.haskell.org",
"textContent": "Are there staging systems that can do the code sharing I’m proposing?",
"title": "Synthesizing `RuntimeRep`-indexed type class instances in a GHC plugin to simulate monomorphization"
}