Zero

zero

zeroWithSemigroupIsMonoid