{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreihs4kx2uofv2ipkj3k6pm44xtn5ef5pxynkimqip4krd3aclievju",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mlqz6plmbqy2"
  },
  "path": "/t/knownnat-indexed-vectors/14099#post_5",
  "publishedAt": "2026-05-13T18:56:17.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "linear-base",
    "Data.Array.Polarized.Pull.Array"
  ],
  "textContent": "mixphix:\n\n> Are there libraries where this kind of vector has been implemented?\n\nIn linear-base, Data.Array.Polarized.Pull.Array seems to be a function internally. Although it’s not parameterized by its length at the type level.",
  "title": "KnownNat-indexed vectors"
}