nonempty-vector-0.1.0.0: Non-empty vectors