This paper studies habit formation in consumption preferences in a dynamic Mirrlees economy. We derive optimal labor and savings wedges based on a recursive approach. We show that habit formation creates a motive for subsidizing labor supply and savings. In particular, habit formation...