ScalaCheck Shapeless

GPTKB entity