<dependency>
  <groupId>org.typelevel</groupId>
  <artifactId>cats-tagless-core_native0.4_3</artifactId>
  <version>0.16.0</version>
</dependency>

implementation 'org.typelevel:cats-tagless-core_native0.4_3:0.16.0'

implementation("org.typelevel:cats-tagless-core_native0.4_3:0.16.0")

libraryDependencies += "org.typelevel" % "cats-tagless-core_native0.4_3" % "0.16.0"

@Grapes(
  @Grab(group='org.typelevel', module='cats-tagless-core_native0.4_3', version='0.16.0')
)

<dependency org="org.typelevel" name="cats-tagless-core_native0.4_3" rev="0.16.0" />

[org.typelevel/cats-tagless-core_native0.4_3 "0.16.0"]

'org.typelevel:cats-tagless-core_native0.4_3:jar:0.16.0'