Comment thread for [Divisible and the Monoidal Quartet](https://duplode.github.io/posts/divisible-and-the-monoidal-quartet.html).