<dependency>
  <groupId>org.scalacheck</groupId>
  <artifactId>scalacheck_2.13</artifactId>
  <version>1.15.3</version>
</dependency>