Complete translation of "Working with non-monoids" into Japanese.