The composition of Plus F and G, [x]F[G[x]], is a Plus
The product of Plus F and G, [x](F[x], G[x]]), is a Plus
Universally quantified scalaz.Semigroup.