Monoid是种最简单的typeclass类型。我们先看看scalaz的Monoid typeclass定义：scalaz/Monoid.scala trait Monoid[F] extends Semigroup[F] { self =>/** The identity element for `append`. */def zero: F... Monoid trait