We explore the welfare consequences of different taxation schemes in an economy where agents are debt-constrained. If agents default on their debt, they are banned from future intertemporal trade, but retain their private (labor) endowments which are subject to income taxation. We impose...