{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreie3yp34wy67idqv2fgf54c43utle7vj4fypbhwtoural25enbiyxm",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mnacwixu53z2"
  },
  "path": "/t/pattern-synonyms-and-type-families/14180#post_5",
  "publishedAt": "2026-06-01T14:29:47.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "Is this a _good_ idea though? Pattern synonyms are usually supposed to abstract the details of the actual access, but if we do this then changing a promotable pattern synonym to a non-promotable one becomes a breaking change.",
  "title": "Pattern Synonyms and type families"
}