Migration attempt to shapeless 2.0.0-M1