nonempty-vector-0.2.1.0: Non-empty vectors