Migrate project to shapeless 2.0.0