In this paper we build a model of occupational choice with informal production and progressive income taxation. We calibrate the model to the Brazilian economy to evaluate the impact of removing financial frictions on informality. We find that financial deepening leads to a drop in the size of...