This article examines the aggregate implications of several policies aimed at removing barriers to formality. To this end, we build a dynamic equilibrium model in which heterogeneous agents choose to work for a wage or operate a technology in the formal or informal sector, based on the costs and benefits associated with these occupational choices.