In an economy where agents are characterized by different productivities (vertical types) and different abilities to move (horizontal types), we compare a unified nonlinear optimal taxation schedule with the equilibrium taxation schedule that would be chosen by two competing tax authorities if...