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:

1 2 3 4 5 |
newtype Vector v (n :: Nat) a = Vector (v a) deriving ( Show, Eq, Ord, Functor, Foldable, Traversable, NFData, Generic , Show1, Eq1, Ord1 , Data, Typeable ) |

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

1 2 3 4 |
import qualified Data.Vector.Generic.Sized as V import qualified Data.Vector as VU type Vector = V.Vector VU.Vector |

As shown above, instances of Vector v […]