{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibgl2avpq7ufqxwmmlnuxdvptkmhl5zilxxdg32w3m4swtpfejvse",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mmyicfley5a2"
  },
  "path": "/t/homomorphic-static-analysis/14146#post_8",
  "publishedAt": "2026-05-29T09:37:09.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "Thank you so much! Will definitely watch that.\n\nQuestion however: Can you make a bit more explicit what you mean with me aiming for “pointfree” style? My reasoning to try this is that a) profunctors/arrows felt like the reasonable abstraction to do this and b) the existence of arrow syntax, true.",
  "title": "Homomorphic static analysis"
}