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...

This paper characterizes the welfare gains from redistributive taxation and social insurance in an environment where the private sector provides partial insurance. We analyze stylized models in which adverse selection, pre-existing information, or imperfect optimization in private insurance...