KnownNat-indexed vectors

I don’t trust Data.Array to be efficient. Is it really going to fuse that list away? It seems so from looking at the core, but the core is much longer (104 vs 40 lines). I do wish that someone would write a small wrapper library around Data.Primitive.Array with a few more convenience functions.