Zero typeclass
improve monoid instances