org.specs2.internal.scalaz.MonoidInstances
A semigroup in type F must satisfy two laws:
The binary operation to combine f1
and f2
.
The binary operation to combine f1
and f2
.
Implementations should not evaluate tbe by-name parameter f2
if result
can be determined by f1
.