Arguably this is what retirement is, no? Productivity gains did create extra leisure time. It's just we save all the leisure for retirement.