We introduce a specification of habit formation featuring non-separability between consumption and leisure into an otherwise standard New Keynesian model. The model can be estimated with standard Bayesian techniques and the bond pricing implications are evaluated using higher-order...