Completely copied from cats-kernel-laws.
Completely copied from cats-kernel-laws. TODO: use laws directly from cats-kernel-laws when it's released against scalacheck 1.13.*
Completely copied from cats-kernel-laws. TODO: use laws directly from cats-kernel-laws when it's released against scalacheck 1.13.*