This paper studies the design of retirement and disability policies. It illustrates the often observed exit from the labour force of healthy workers through disability insurance schemes. Two types of individuals, disabled and leisure-prone ones, have the same disutility for labour and cannot be...