Description
Provides sized lists for Haskell. A sized list carries information about its length, which can help code express and check size expectations more precisely.
It is useful for APIs, validation, type-level programming, fixed-size data, and algorithms where list length matters. It is a developer library and has no standalone interface.