zip
NonEmptyVector
Result