lecture: lecture 07: finish foldr