Shapeless

scalaprops