Trade-offs are more complicated than Okun's leaky bucket

A popular story in macroeconomics and broad public economics is that of Okun's leaky bucket (Okun 1975).  This essentially states that we can think of redistributing income like using a leaky bucket to move water - where the loss of income associated with the loss of efficiency is the water that falls out of the bucket on the trip.  This gives us our ba…