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