{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreic3npgxofna2ksjt7lyakklwrgasjsr7cowb725rqt6yjyvtcrobq",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mls2qydiaqz2"
  },
  "path": "/t/knownnat-indexed-vectors/14099?page=2#post_21",
  "publishedAt": "2026-05-14T03:36:50.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "I sprinkled `MemoTrie`’s `memo` in between every `V` and `\\` in my code, and got a considerable speedup. (I had to use the github version, the instance `HasTrie Natural` is not live on Hackage yet.) It’s still not _quite_ as fast as the strict data representation, but it’s not dragging to a halt after twenty or so operations!",
  "title": "KnownNat-indexed vectors"
}