edit lecture: finish state monad in lecture 15