non-empty-0.1: List-like structures with static checks on the number of elements
Data.Empty
data T a Source
Constructors
Instances