Use mapv because map is lazy.