In labour markets with collective wage bargaining higher progressivity of the labour income tax creates a trade-off. On the one hand, wages are lowered and unemployment decreases, on the other hand, the individual labour supply decision is distorted at the hours-of-work margin. The optimal level...