Este texto desenvolve um arcabouço que permite analisar os impactos micro e macro¬econômicos de diferentes políticas para formalização. O modelo é estimado e utilizado para avaliar os efeitos das duas principais abordagens para reduzir a informalidade: i) diminuir os custos da formalidade; e ii) elevar os custos da informalidade. Os resul¬tados mostram que há importantes tradeoffs entre os impactos micro e macro destas abordagens. Políticas que visam aumentar os custos da informalidade têm efeitos piores sobre as firmas que políticas que reduzem os custos da formalização. O oposto é ver¬dade para os indicadores macroeconômicos. Quando considerados os efeitos líquidos sobre o bem-estar agregado, políticas que aumentam o custo da informalidade têm melhor desempenho. Não obstante, reduções no grau de informalidade não estão necessariamente associadas a mais bem-estar.