{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiec7m7uv5hr3jy5x5dhqsxwdouuew7htrkmkstskiaecpdzng6peu",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mhl47o5lpoh2"
  },
  "path": "/t/sneak-peek-bolt-math/13766?page=2#post_32",
  "publishedAt": "2026-03-21T09:17:39.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "I like the concepts here, but I’m struggling with the feeling that we could do slightly better by combating the boolean-ness with parse don’t validate.\n\nIt feels odd for me that with all this talk of checking for lawfulness there’s no “proof” carried through to let you do the operation, or even that lawful doesn’t just do the operation for you.\n\nI’d like to see the potential “Boolean blindness” mitigated in a good way.",
  "title": "Sneak Peek: Bolt Math"
}