monoid = semigroup + identity element
# arrow
b
monoid = semigroup + identity element
💯 1