Add new laws test for stackUnsafeMonad coverage

build.sbt

@@ -278,7 +278,7 @@ lazy val laws = crossProject.crossType(CrossType.Pure)
   .settings(moduleName := "cats-laws")
   .settings(catsSettings:_*)
   .settings(disciplineDependencies:_*)
-  .settings(libraryDependencies ++= Seq("org.typelevel" %%% "catalysts-platform" % "0.0.2"))
+  .settings(testingDependencies: _*)
   .jsSettings(commonJsSettings:_*)
   .jvmSettings(commonJvmSettings:_*)
 

laws/src/test/scala/cats/laws/discipline/MonadTestsTests.scala

@@ -0,0 +1,15 @@
+package cats
+package laws
+package discipline
+
+import cats.instances.all._
+import cats.laws.discipline.arbitrary._
+import org.scalatest.FunSuite
+import org.typelevel.discipline.scalatest.Discipline
+
+class MonadTestsTests extends FunSuite with Discipline {
+  // We don't use `stackUnsafeMonad` in our laws checking for instances in Cats,
+  // so we confirm here that the laws pass for `Eval` (the monad instance for
+  // which is actually stack safe, like all other monad instances in Cats.)
+  checkAll("Eval[Int]", MonadTests[Eval].stackUnsafeMonad[Int, Int, Int])
+}