{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreicwndq3pd5h3woh7l364emqc6q644vlinkvzhum4x553zm7xbsbme",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mnajnlltqy22"
  },
  "path": "/t/pattern-synonyms-and-type-families/14180#post_6",
  "publishedAt": "2026-06-01T14:49:13.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "If you require an explicit annotation on the `pattern`, like `promotable pattern` or `basic pattern`, the declaration of the pattern synonym opts in to using promotable pattern synonyms.",
  "title": "Pattern Synonyms and type families"
}