<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-laws_2.10</artifactId>
<version>0.4.1</version>
</dependency>
compile
|-- org.scala-lang:scala-library:2.10.6
|-- org.typelevel:cats-macros_2.10:0.4.1
|-- org.typelevel:cats-core_2.10:0.4.1
|-- com.github.mpilquist:simulacrum_2.10:0.7.0
|-- org.spire-math:algebra_2.10:0.3.1
|-- org.spire-math:algebra-std_2.10:0.3.1
|-- org.typelevel:machinist_2.10:0.4.1
|-- org.scalacheck:scalacheck_2.10:1.12.5
|-- org.typelevel:discipline_2.10:0.4
|-- org.spire-math:algebra-laws_2.10:0.3.1
|-- org.typelevel:catalysts-platform_2.10:0.0.2
provided