lecture: lecture 07: finish foldl