Abstract We study the design of retirement and disability policies and illustrate the often observed exit from the labor force of healthy workers through disability insurance schemes. In our model, two types of individuals, disabled and leisure-prone ones, have the same disutility for labor and...