{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreifgvjlzeuzvki3q5cfklaeam5npyuunkl632kv5ladlrsirnaie2y",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mhwekvvc7yf2"
  },
  "path": "/t/history-of-dh-dependent-types-in-haskell-contributions/11242#post_21",
  "publishedAt": "2026-03-25T18:17:29.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "(post deleted by author)",
  "title": "History of DH (Dependent Types in Haskell) contributions"
}