{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreic6c4kp4isnn5tqtjclhpiy3wiop5f47xwrlgczfbyy2ewtlczl4m",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mlqz6lqi4gh2"
  },
  "path": "/t/knownnat-indexed-vectors/14099#post_6",
  "publishedAt": "2026-05-13T19:05:31.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "vector-sized: Size tagged vectors"
  ],
  "textContent": "There is vector-sized: Size tagged vectors for vectors, annotated with type level length.",
  "title": "KnownNat-indexed vectors"
}