nonempty-vector-0.2.0.2: Non-empty vectors