added writer monad examples w/ DiffList