diff --git a/tests/src/test/scala/cats/tests/CokleisliTests.scala b/tests/src/test/scala/cats/tests/CokleisliTests.scala index bdab63439c..a635e9b13e 100644 --- a/tests/src/test/scala/cats/tests/CokleisliTests.scala +++ b/tests/src/test/scala/cats/tests/CokleisliTests.scala @@ -70,4 +70,9 @@ class CokleisliTests extends SlowCatsSuite { } + test("contramapValue with Id consistent with lmap"){ + forAll { (c: Cokleisli[Id, Int, Long], f: Char => Int) => + c.contramapValue[Char](f) should === (c.lmap(f)) + } + } }