<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-laws_2.12</artifactId>
<version>2.0.0-M4</version>
</dependency>
compile
|-- org.scala-lang:scala-library:2.12.7
|-- org.typelevel:cats-macros_2.12:2.0.0-M4
|-- org.typelevel:cats-kernel_2.12:2.0.0-M4
|-- org.typelevel:cats-core_2.12:2.0.0-M4
|-- org.typelevel:cats-kernel-laws_2.12:2.0.0-M4
|-- org.typelevel:machinist_2.12:0.6.8
|-- org.scalacheck:scalacheck_2.12:1.14.0
|-- org.typelevel:discipline-core_2.12:0.12.0-M3
test
|-- org.scalatest:scalatest_2.12:3.1.0-SNAP13
|-- org.scalatestplus:scalatestplus-scalacheck_2.12:1.0.0-SNAP8