sext

Lists, Texts, ByteStrings and Vectors with type-encoded length.

Sext (static text) provides type-level safety for basic operations on string-like types (finite lists of elements). Use it when you need static guarantee on lengths of strings produced in your code.