List_ext.foldi