migrate to shapeless 2.0