The workhorse of urban labor theory in development economics is the formal/informal model of labor market segmentation and its variants. The seminal Harris-Todaro model has been extended over the years to cope with various empirical puzzles not explained in the original framework. However, one...