Update "Working with non-monoids" (in progress)