<dependency>
  <groupId>dev.zio</groupId>
  <artifactId>zio-test-scalacheck_2.12</artifactId>
  <version>1.0.15</version>
</dependency>