We study efficient non-linear taxation of labour and capital in a dynamic Mirrleesian model incorporating political economy constraints. Policies are chosen sequentially over time, without commitment. Our main result is that the marginal tax on capital income is progressive, in the sense that richer agents face higher marginal tax rates.