Beginning with Mirrlees, the optimal taxation literature has generally focused on economies where individuals are differentiated by only their productivity. In this pa- per we examine models with discrete types where individuals are differentiated by two or more characteristics. For example, we...