non-empty-0.3.5: List-like structures with static restrictions on the number of elements