map
NonEmptyVector
Result
merge
Result