Ok, so digital scarcity is engineered, not real, because scarcity makes our economic system work. However, I don't think anyone has come up with a viable post-s

Ok, so digital scarcity is engineered, not real, because scarcity makes our economic system work. However, I don't think anyone has come up with a viable post-scarcity model. In some cases like mobile apps and steam sales, big discounts can increase volume to the point where the economic equation works. Sadly, I don't think a book on dependent types is really amenable to that scenario.