lec7 finished, Monoid is very useful

maybe comments are too little, but amazing of Monoid