Ex12 of monoids - answers has a better implementation. Try that also
Ex 14 of monoids done. Tree is a semi group
Ex 16 of monoids done
Ex 18 done of monoids. Alternative to Either that satisfies monoid laws
Map merge monoid