Update 'Working with non-monoids' (still in progress)