Iteration over vectors (and HLists).