Monoid & MonoidK

In continuation to previous post. There is no documentation for MonoidK (Monoid for higher Kinds) on the cats site, hence let me try explaining it. Though Monoid first. Monoid `Monoid[T]` technically is a Semigroup with an `empty`/`Identity` function. i.e. There are two main properties: Associativity…