Oh, if there is no "zero" element - this is a `sem...
# arrow
r
Oh, if there is no "zero" element - this is a
semigroup
, so it's OK. 😅