This paper develops a framework for performing ex ante evaluations of the micro (at the firm level) and macro impacts of formalization policies. I estimate the model and use it analyze the two main policy approaches towards informality: increasing the costs of informality (the stick), and...