<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-mtl-laws_2.12</artifactId>
<version>0.2.3</version>
</dependency>
compile
|-- org.scala-lang:scala-library:2.12.4
|-- org.typelevel:cats-mtl-core_2.12:0.2.3
|-- com.github.mpilquist:simulacrum_2.12:0.11.0
|-- org.typelevel:machinist_2.12:0.6.1
|-- org.typelevel:cats-core_2.12:1.0.1
|-- org.typelevel:cats-free_2.12:1.0.1
|-- org.typelevel:cats-laws_2.12:1.0.1
|-- org.typelevel:discipline_2.12:0.8
|-- org.typelevel:catalysts-platform_2.12:0.0.5
test