<dependency>
  <groupId>org.typelevel</groupId>
  <artifactId>alleycats-laws_native0.5_3</artifactId>
  <version>2.12.0</version>
</dependency>