Add auto variance as additional import

.gitignore

@@ -19,6 +19,8 @@ TAGS
 .DS_Store
 .vscode
 .sbtrc
+.semanticdb
+metals.sbt
 *.sublime-project
 *.sublime-workspace
 tests.iml

core/src/main/scala/cats/AutoVariance.scala

@@ -0,0 +1,10 @@
+package cats
+
+trait AutoVariance {
+  implicit def autoWidenFunctor[F[_]: Functor, A, B >: A](fa: F[A]): F[B] = Functor[F].widen(fa)
+
+  implicit def autoNarrowContravariant[F[_]: Contravariant, A, B <: A](fa: F[A]): F[B] = Contravariant[F].narrow(fa)
+
+  implicit def autoLeftWidenBifunctor[F[_, _]: Bifunctor, A, B >: A, C](fac: F[A, C]): F[B, C] =
+    Bifunctor[F].leftWiden(fac)
+}

core/src/main/scala/cats/implicits.scala

@@ -16,4 +16,6 @@ object implicits
     with instances.AllInstancesBinCompat3
     with instances.AllInstancesBinCompat4
     with instances.AllInstancesBinCompat5
-    with instances.AllInstancesBinCompat6
+    with instances.AllInstancesBinCompat6 {
+  object variance extends AutoVariance
+}

tests/src/test/scala/cats/tests/VarianceSuite.scala

@@ -0,0 +1,32 @@
+package cats.tests
+
+import cats.{Bifunctor, Contravariant, Functor}
+import cats.implicits._
+import cats.implicits.variance._
+
+class VarianceSuite extends CatsSuite {
+
+  sealed trait Foo
+  case class Bar(x: Int) extends Foo
+  case object Baz extends Foo
+
+  test("Auto-variance should infer subtypes correctly") {
+    def shouldInfer[F[_]: Functor](fi: F[Int]) =
+      fi.map(i => if (true) Left(Bar(i)) else Right(Baz))
+
+    def inferred[F[_]: Functor](fi: F[Int]): F[Either[Foo, Foo]] = shouldInfer[F](fi)
+  }
+
+  test("Auto-variance should infer supertypes correctly") {
+    def shouldCompile[F[_]: Contravariant](fi: F[Foo])(f: F[Bar] => Int) =
+      f(fi)
+  }
+
+  test("Auto-variance should left widen a bifunctor automatically") {
+    def shouldInfer[F[_, _]: Bifunctor](fi: F[Int, Int]) =
+      fi.leftMap(i => if (true) Left(Bar(i)) else Right(Baz))
+
+    def inferred[F[_, _]: Bifunctor](fi: F[Int, Int]): F[Either[Foo, Foo], Int] = shouldInfer[F](fi)
+  }
+
+}