Description
Provides type-safe indexed list literals for Haskell. This lets code express lists whose size or index information is tracked by the type system, reducing some classes of indexing mistakes.
It is useful for advanced Haskell code that relies on type-level guarantees. It is a library for developers and is normally installed only when another package requires it.