@hannah It’s a monoid over the category of initialization processes

And if you thought the replies to this thread were inscrutable before….