<dependency>
  <groupId>io.arrow-kt</groupId>
  <artifactId>arrow-analysis-laws</artifactId>
  <version>2.0.3-alpha.2</version>
  <type>pom</type>
</dependency>

implementation 'io.arrow-kt:arrow-analysis-laws:2.0.3-alpha.2'

implementation("io.arrow-kt:arrow-analysis-laws:2.0.3-alpha.2")

libraryDependencies += "io.arrow-kt" % "arrow-analysis-laws" % "2.0.3-alpha.2"

@Grapes(
  @Grab(group='io.arrow-kt', module='arrow-analysis-laws', version='2.0.3-alpha.2')
)

<dependency org="io.arrow-kt" name="arrow-analysis-laws" rev="2.0.3-alpha.2" />

[io.arrow-kt/arrow-analysis-laws "2.0.3-alpha.2"]

'io.arrow-kt:arrow-analysis-laws:jar:2.0.3-alpha.2'