A composition operation for ElementProducer, so that it forms an additive monoid with the Empty instance as id.
Empty
id