We study Pareto optimal policy reforms aimed at overhauling retirement financing as an integral part of the tax and transfer system. Our framework for policy analysis is a heterogeneous‐agent overlapping‐generations model that performs well in matching the aggregate and distributional features of the U.S. economy. We present a test of Pareto optimality that identifies the main source of inefficiency in the status quo policies. Our test suggests that lack of asset subsidies late in life is the main source of inefficiency when annuity markets are incomplete. We solve for Pareto optimal policy reforms and show that progressive asset subsidies provide a powerful tool for Pareto optimal reforms. On the other hand, earnings tax reforms do not always yield efficiency gains. We implement our Pareto optimal policy reform in an economy that features demographic change. The reform reduces the present discounted value of net resources consumed by each generation by about 7 to 11 percent in the steady state. These gains amount to a one‐time lump‐sum transfer to the initial generation equal to 10.5 percent of GDP.

We incorporate a search-theoretic model of imperfect competition into a standard model of asymmetric information with unrestricted contracts. We characterize the unique equilibrium and use our characterization to explore the interaction between adverse selection, screening, and imperfect competition. We show that the relationship between an agent’s type, the quantity he trades, and the price he pays is jointly determined by the severity of adverse selection and the concentration of market power. Therefore, quantifying the effects of adverse selection requires controlling for market structure. We also show that increasing competition and reducing informational asymmetries can decrease welfare.