Optimal Mirrleesean Taxation in a Ben-Porath Economy

I characterize optimal taxes in a life-cycle economy where ability and human capital are unobservable. I show that unobservable human capital effectively makes preferences over labor nonseparable across age. I generalize the static optimal tax formulas to account for such nonseparabilities and show how they depend both on own-Frisch labor elasticities and cross-Frisch labor elasticities. I calibrate the economy to US data. I find that the...