lecture: lecture 20: finish foldlMaybe