What lessons do we learn from optimal tax theory for the design of income redistribution programs? I modify a standard model of optimal nonlinear income taxation with discrete types to consider differences in both earning ability and the disutility of effort. This gives a role for...