We analyze optimal taxation in an economy with monopsonistic labour markets. The individuals, whose only decisions are whether to work, or not, have heterogeneous productivities and opportunity costs of work. Given its preferences for redistribution, the government, which does not observe the...