https://123dok.net/document/zkw06l8m-the-power-of-programs-over-monoids-in-da.html