<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-kernel-laws_2.12</artifactId>
<version>1.4.0</version>
</dependency>
@Grapes(
@Grab(group='org.typelevel', module='cats-kernel-laws_2.12', version='1.4.0')
)