reduce

NonEmptySet NonEmptyVector

reduceMapLeft1

NonEmptySet NonEmptyVector

require_!

NonEmpty

result

Builder

reverse

NonEmptyVector