{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreicaxqony2up5prjj6mf4oj6ijtn4m7yr6nvsgl4mms36d2saee26e",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mna47tyyzuc2"
  },
  "path": "/t/pattern-synonyms-and-type-families/14180#post_4",
  "publishedAt": "2026-06-01T12:20:17.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "Wouldn’t promotable patterns also be able to use the default coverage checker?",
  "title": "Pattern Synonyms and type families"
}