Download patch
ref: e3102605c0ddbfc934662455f4c849a49ecb2a33 parent: 52b1295c3c1922740b0ec68f633591e294c5c838 author: Lennart Augustsson <lennart@augustsson.net> date: Sun Sep 22 21:05:38 EDT 2024
Redo Monoid&Semigroup again.