KnownNat-indexed vectors

At Target, I worked on a project that used memoized functions with integer inputs. It was for supply chain optimization. It was in Kotlin but it was SUPER nice. It mapped to the theory really well too. So there’s definitely something to this. I guess those weren’t vectors but still. It’s kind of annoying to use these things in Haskell compared to Kotlin. There’s a library gap imo.