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.