{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiept4ot6qsp6xnm5pfkhszns3o7yafpfe4fily3epgncq7v7peduu",
    "uri": "at://did:plc:wvbzyoyqr6q5pgezutm4sf3v/app.bsky.feed.post/3ml4g4koyrmi2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreig3vvsflgkpfzdglgdj5jvkvi5faikvlaixh67cfi5rrhuc5d63nm"
    },
    "mimeType": "application/octet-stream",
    "size": 42668
  },
  "path": "/2026/05/a-bidirectional-typechecking-puzzle",
  "publishedAt": "2026-05-05T13:21:28.000Z",
  "site": "https://haskellforall.com",
  "tags": [
    "plt",
    "Comments"
  ],
  "textContent": "Comments",
  "title": "A bidirectional typechecking puzzle"
}