Description
Provides Haskell vectors tagged with their size at the type level. This lets the compiler check that operations expecting a specific length receive data of that length.
It is useful for protocols, fixed-size records, numeric code, graphics, tests, and APIs where length mismatches are bugs. It improves safety at the cost of more advanced type-level programming.