{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreigtkesept4huq2l6eiota77qk7jgvex4gxz4ditgnkdzxikd62jja",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mlrgm5trv4j2"
  },
  "path": "/t/knownnat-indexed-vectors/14099#post_15",
  "publishedAt": "2026-05-13T21:19:17.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "This is part of my own private library that I created after reading your Bolt Math thread! I’m also miffed at the state of the `Num` hierarchy and would see it changed. I’d be more than happy to compare notes on what each other has been working on in this space!",
  "title": "KnownNat-indexed vectors"
}