Generation of arbitrary case classes / ADTs with scalacheck and shapeless - View it on GitHub