{
"$type": "site.standard.document",
"bskyPostRef": {
"cid": "bafyreief5kzqqlh43vrxsgp2gfg4hla5y3gsenabv5zwi3j2mwenllpyre",
"uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mnfdllmxcnx2"
},
"path": "/t/any-way-to-unroll-generic-instances/14198#post_1",
"publishedAt": "2026-06-03T13:45:27.000Z",
"site": "https://discourse.haskell.org",
"textContent": "Looking to know whether there’s any way to go from\n\n\n data Foo = …\n deriving Generic\n deriving Bar [via Quux Foo]\n\n\nto\n\n\n data Foo = …\n\n instance Bar Foo where\n …\n\n\nwithout potentially introducing errors into the code.",
"title": "Any way to unroll Generic instances?"
}