{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreidvjjebivwbsqc2dhrgec52jlg7ty7s7gkmtpihwgiafqyrzu4usa",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mlrgltslsdl2"
  },
  "path": "/t/knownnat-indexed-vectors/14099#post_16",
  "publishedAt": "2026-05-13T21:37:28.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "I do hope to be able to sink some good focus time into it again soon, especially because I have a bunch of stuff related to random distributions that needs integrating - my data science friend has been helping me with that a bit. Between `bolt`, `memalloc`, and `botan`, I have been growing quite the little ecosystem, and it all needs tending!",
  "title": "KnownNat-indexed vectors"
}