Module monoid

Module for holding Monoid typeclass definitions and default implementations

A Monoid is a Semigroup that has a defined empty/zero value. This allows us to define a combine_all method to work on a list of said things:

Traits

• Monoid
  A Monoid is a Semigroup that has an empty/ zero value

Functions

• combine_all
  Given a sequence of xs, combine them and return the total
• combine_n
  Return this combined with itself n times.