cats.data
Given a type A, create a concrete Semigroup[F[A]].
Combine two F[A] values.
Compose two SemigroupK intsances.