coproduct is associative, can be done left-associatively, leading to simpler code.