A composition operation for ElementProducer,
so that it forms an additive monoid with the Empty instance as id.
An empty instance for the ElementProducer kind.
An empty instance for the ElementProducer kind.
Can be used as id with the element Composition to form
an additive monoid.