monoidIsEmpty

EmptyInstances1

multiplicativeMonoidIsOne

One