The present paper studies the growth and efficiency consequences of pension funding with individual retirement accounts in a general equilibrium overlapping generations model with idiosyncratic lifespan and labor income uncertainty. We distinguish between economies with rational and hyperbolic consumers and compare the consequences of voluntary and mandatory retirement plans.