nonempty-vector-0.2.0.0: Non-empty vectors