{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreia2nlxeyime5v3o62ryjwh5hmq2gcg7sxvg26k6ipcbihbvdgq5v4",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mltjyf7zgjb2"
  },
  "path": "/t/knownnat-indexed-vectors/14099?page=2#post_23",
  "publishedAt": "2026-05-14T18:17:54.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "I don’t think type classes should be used like they are in `contiguous`. You’re really relying on GHC inlining absolutely everything if you go with that approach. I also think it is just unnecessary. Why not just provide several array implementations in a few different modules? It’s not that bad to qualify some function names.",
  "title": "KnownNat-indexed vectors"
}