Indexing with fixed-size vectors

In August 2017, Jason Le identified the vector-sized package as the canonical source for efficient fixed-size vectors. Module Data.Vector.Generic.Sized.Internal of the package exports a new type Vector defined as:

and module Data.Vector.Sized defines the type synonym Vector (where Data.Vector is a module of the vector package):

As shown above, instances of Vector v […]