We study optimal insurance contracts for an agent with Markovian private information. Our main results characterize the implications of constrained efficiency for long-run welfare and inequality. Under minimal technical conditions, there is Absolute Immiseration: in the long run, the agent's...