We extend the theory of optimal redistributive taxation to economies with an informal sector. In particular, in our model, workers can supply labor simultaneously to the formal and the informal sectors, which we call moonlighting. The optimal tax formula contains two novel terms capturing...