# Vector Sized
This package exports a newtype tagging the vectors from the
[vector](https://hackage.haskell.org/package/vector) package with a type level
natural representing their size.
It also exports a few functions from vector appropriately retyped.
This package is fairly similar to the
[fixed-vector](https://hackage.haskell.org/package/fixed-vector) package. The
difference is that fixed-vector uses Peano naturals to represent the size tag
on the vectors and this package uses typelits.
The initial code for this package was written by @bgamari in a [PR for vulkan](https://github.com/expipiplus1/vulkan/pull/1)