Empirical evidence suggests that both leisure time and medical care are important for maintaining health. We develop a general equilibrium macroeconomic model in which taxation is a key determinant of the composition of these two inputs in the endogenous accumulation of health capital. In our...