This paper studies the effects of progressive income taxes and education finance in a dynamic heterogeneous-agent economy. Such redistributive policies entail distortions to labor supply and savings, but also serve as partial substitutes for missing credit and insurance markets. The resulting...