ambiguous implicits

xuwei-k · Nov 24, 2015 · 5b426cc · 5b426cc
1 parent b96a445
commit 5b426cc
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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, ?]]))