List_ext.map_nth