If an implicit AdditiveMonoid[A] exists, then it is converted to a plain
Monoid[A].
If an implicit AdditiveMonoid[A] exists, then it is converted to a plain
Monoid[A].
If an implicit MultiplicativeMonoid[A] exists, then it is converted to a
plain Monoid[A].
If an implicit MultiplicativeMonoid[A] exists, then it is converted to a
plain Monoid[A].