In this paper we develop a simple heterogeneous-agent model with incomplete markets to explain the prevalence of a large low-productivity, informal sector in developing countries. In our model, the provision of public infrastructure creates a productivity premium for formalization, which...