KnownNat-indexed vectors

mixphix: > Are there libraries where this kind of vector has been implemented? In 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.