<dependency>
  <groupId>org.typelevel</groupId>
  <artifactId>cats-collections-laws_sjs1_2.13</artifactId>
  <version>0.9.6</version>
</dependency>