This packages defines a list data type with statically known length
by nesting the NonEmpty and Empty data structure from the non-empty package.
We provide a closed world class for this class of structures
and a wrapper that makes all these lists
Applicative with ZipList semantics.
fixed-list: Defines an open world class.