edit lecture: finish list monad in lecture 15