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