In environments where agents face uninsurable idiosyncratic income shocks, it is well-known that progressive taxation can potentially provide extra insurance and may, hence, improve welfare. However, if taxes distort individual incentives or cannot be conditioned on all relevant individual...