Swap '(into [] (map ... ' for 'mapv'.