diff --git a/tests/src/test/scala/cats/tests/IdTTests.scala b/tests/src/test/scala/cats/tests/IdTTests.scala index bc30dfec65..b20b92f12e 100644 --- a/tests/src/test/scala/cats/tests/IdTTests.scala +++ b/tests/src/test/scala/cats/tests/IdTTests.scala @@ -1,12 +1,14 @@ package cats.tests -import cats.{Monad, Traverse} +import cats.{Monad, Traverse, Functor} import cats.data.IdT import cats.laws.discipline.{MonadTests, SerializableTests, TraverseTests} import cats.laws.discipline.arbitrary._ class IdTTests extends CatsSuite { + def idTFunctor[F[_]: Monad] = implicitly[Functor[IdT[F, ?]]] + checkAll("IdT[List, Int]", MonadTests[IdT[List, ?]].monad[Int, Int, Int]) checkAll("Monad[IdT[List, ?]]", SerializableTests.serializable(Monad[IdT[List, ?]]))