static-text: lists, Texts, ByteStrings and Vectors of statically known length
static-text provides type-level safety for basic operations on
string-like types (finite lists of elements), such as Data.Text,
String (and all lists), Data.ByteString and Data.Vector. Use it
when you need static guarantee on lengths of strings produced in your
code.
An example application would be a network exchange protocol built of
packets with fixed-width fields: