Coefficients are additive under concatenation, vanish on the empty law, and sum over a `flatMap`.

Initializing...

Coefficients are additive under concatenation, vanish on the empty law, and sum over a `flatMap`. · Prove2Me