libraryDependencies += "im.plmnt" %% "scalacheck-magnolia" % "1.0.0" % Test

sealed trait Foo
case class Bar(str: String, bool: Boolean) extends Foo
case object Baz extends Foo

import scalacheck.magnolia.auto._

forAll { foo: Foo =>
// Ensure foo has the required property
}

forAll { bar: Bar =>
// Ensure bar has the required property
}

import scalacheck.magnolia.semiauto._

implicit val arbitraryForFoo: Arbitrary[Foo] = deriveMagnoliaArbitrary[Foo]

forAll { foo: Foo =>
// Ensure foo has the required property
}