cats.data
Given a type A, create a concrete Monoid[F[A]].
Combine two F[A] values.
Given a type A, create an "empty" F[A] value.