We study an economy where agents' productivity and labor endowment depend on their health status, and indivisible occupational choices affect individual health distributions. We show that Pareto efficiency requires cross-transfers across occupations. Moreover, workers with relatively less safe...