nonempty-vector-0.0.1.0: Non-empty vectors