Or sleep. Or studying. Or taking a walk with a loved one. The point is that a lot of the benefit to us of such an innovation is not going to show up in GDP,

Or sleep. Or studying. Or taking a walk with a loved one. The point is that a lot of the benefit to us of such an innovation is not going to show up in GDP, even if some of that time is used for fun activities. GDP doesn't count increases in fun either.