edit lecture: lecture 15: finish writer monad