<dependency>
  <groupId>io.higherkindness</groupId>
  <artifactId>droste-scalacheck_2.12</artifactId>
  <version>0.9.0</version>
</dependency>

implementation 'io.higherkindness:droste-scalacheck_2.12:0.9.0'

implementation("io.higherkindness:droste-scalacheck_2.12:0.9.0")

libraryDependencies += "io.higherkindness" % "droste-scalacheck_2.12" % "0.9.0"

@Grapes(
  @Grab(group='io.higherkindness', module='droste-scalacheck_2.12', version='0.9.0')
)

<dependency org="io.higherkindness" name="droste-scalacheck_2.12" rev="0.9.0" />

[io.higherkindness/droste-scalacheck_2.12 "0.9.0"]

'io.higherkindness:droste-scalacheck_2.12:jar:0.9.0'