renamed mzero to zero (Monoid)