ex5.13 - map with unfold.