implemented option monoid and have got the associative law correct.