Better Encoding With Monoids in Scala

Monoid has its root in abstract algebra. It is a semigroup with an identity; in other words, it has an associative binary operation and an identity element. In Scala, we can define it as follows:

xxxxxxxxxx

trait Monoid[A] {

  def id: A

  def op(a1: A, a2: A): A

}