This paper develops an analytical framework to study consumption and labour supply in a rich class of heterogeneous-agent economies with partial insurance. The environment allows for trade in non-contingent and state-contingent bonds, for permanent and transitory idiosyncratic productivity...