That probably just be `foo(1, semigroup = Multiply...
# arrow
s
That probably just be
foo(1, semigroup = MultiplySemigroup)
like normal named/default params.