From be8a9930a439aec2ae31f8c1f044843ab43e0be8 Mon Sep 17 00:00:00 2001
From: Arman Bilge <armanbilge@gmail.com>
Date: Mon, 6 Feb 2023 21:23:16 +0000
Subject: [PATCH 1/3] `cats.implicits._` -> `cats.syntax.all._`

---
 .../cats/bench/CollectionMonoidBench.scala    |  2 +-
 .../scala/cats/bench/EitherKMapBench.scala    |  2 +-
 .../scala/cats/bench/TrampolineBench.scala    |  2 +-
 .../main/scala-2/catsBC/MimaExceptions.scala  |  2 +-
 .../cats/data/NonEmptyLazyList.scala          |  8 +--
 core/src/main/scala/cats/Align.scala          | 14 ++--
 core/src/main/scala/cats/Alternative.scala    |  4 +-
 core/src/main/scala/cats/Applicative.scala    | 16 ++---
 .../main/scala/cats/ApplicativeError.scala    |  8 +--
 core/src/main/scala/cats/Apply.scala          | 12 ++--
 core/src/main/scala/cats/Bifoldable.scala     |  4 +-
 core/src/main/scala/cats/Bifunctor.scala      |  4 +-
 core/src/main/scala/cats/Bitraverse.scala     |  8 +--
 core/src/main/scala/cats/CoflatMap.scala      |  4 +-
 core/src/main/scala/cats/Defer.scala          |  2 +-
 core/src/main/scala/cats/FlatMap.scala        |  8 +--
 core/src/main/scala/cats/Foldable.scala       | 40 +++++------
 core/src/main/scala/cats/Functor.scala        |  2 +-
 core/src/main/scala/cats/FunctorFilter.scala  |  6 +-
 core/src/main/scala/cats/Invariant.scala      |  8 +--
 .../main/scala/cats/InvariantMonoidal.scala   |  2 +-
 core/src/main/scala/cats/MonadError.scala     |  4 +-
 core/src/main/scala/cats/MonoidK.scala        |  6 +-
 .../main/scala/cats/NonEmptyTraverse.scala    |  8 +--
 core/src/main/scala/cats/Parallel.scala       |  6 +-
 core/src/main/scala/cats/Representable.scala  |  6 +-
 core/src/main/scala/cats/SemigroupK.scala     |  8 +--
 core/src/main/scala/cats/Semigroupal.scala    |  2 +-
 core/src/main/scala/cats/Traverse.scala       | 10 +--
 core/src/main/scala/cats/TraverseFilter.scala |  8 +--
 .../main/scala/cats/UnorderedFoldable.scala   |  2 +-
 core/src/main/scala/cats/arrow/Arrow.scala    |  4 +-
 .../main/scala/cats/arrow/ArrowChoice.scala   |  2 +-
 core/src/main/scala/cats/arrow/Choice.scala   |  4 +-
 core/src/main/scala/cats/arrow/Compose.scala  |  2 +-
 .../main/scala/cats/arrow/Profunctor.scala    |  2 +-
 core/src/main/scala/cats/arrow/Strong.scala   |  4 +-
 core/src/main/scala/cats/data/Binested.scala  |  2 +-
 core/src/main/scala/cats/data/Chain.scala     |  8 +--
 core/src/main/scala/cats/data/EitherT.scala   | 72 +++++++++----------
 .../cats/data/IndexedReaderWriterStateT.scala | 12 ++--
 .../main/scala/cats/data/IndexedStateT.scala  |  4 +-
 core/src/main/scala/cats/data/Ior.scala       | 68 +++++++++---------
 core/src/main/scala/cats/data/IorT.scala      | 32 ++++-----
 core/src/main/scala/cats/data/Nested.scala    |  2 +-
 .../main/scala/cats/data/NonEmptyChain.scala  | 22 +++---
 .../main/scala/cats/data/NonEmptyList.scala   | 20 +++---
 .../main/scala/cats/data/NonEmptySeq.scala    |  8 +--
 .../main/scala/cats/data/NonEmptySet.scala    | 18 ++---
 .../main/scala/cats/data/NonEmptyVector.scala |  8 +--
 core/src/main/scala/cats/data/Validated.scala | 60 ++++++++--------
 core/src/main/scala/cats/data/WriterT.scala   | 36 +++++-----
 core/src/main/scala/cats/instances/map.scala  |  2 +-
 .../main/scala/cats/syntax/TrySyntax.scala    |  2 +-
 .../main/scala/cats/syntax/alternative.scala  |  8 +--
 .../main/scala/cats/syntax/bitraverse.scala   |  4 +-
 core/src/main/scala/cats/syntax/either.scala  | 16 ++---
 core/src/main/scala/cats/syntax/eitherK.scala |  4 +-
 core/src/main/scala/cats/syntax/flatMap.scala |  6 +-
 .../main/scala/cats/syntax/function1.scala    |  6 +-
 core/src/main/scala/cats/syntax/ior.scala     |  4 +-
 core/src/main/scala/cats/syntax/list.scala    | 12 ++--
 core/src/main/scala/cats/syntax/nested.scala  |  2 +-
 core/src/main/scala/cats/syntax/option.scala  | 34 ++++-----
 core/src/main/scala/cats/syntax/set.scala     |  4 +-
 .../scala/cats/syntax/traverseFilter.scala    |  2 +-
 .../main/scala/cats/syntax/validated.scala    |  4 +-
 core/src/main/scala/cats/syntax/vector.scala  | 10 +--
 docs/alleycats.md                             |  2 +-
 docs/datatypes/const.md                       |  2 +-
 docs/datatypes/either.md                      |  4 +-
 docs/datatypes/eithert.md                     |  4 +-
 docs/datatypes/eval.md                        |  2 +-
 docs/datatypes/freeapplicative.md             |  8 +--
 docs/datatypes/freemonad.md                   |  2 +-
 docs/datatypes/ior.md                         |  6 +-
 docs/datatypes/iort.md                        |  2 +-
 docs/datatypes/kleisli.md                     |  6 +-
 docs/datatypes/nel.md                         |  2 +-
 docs/datatypes/nested.md                      |  4 +-
 docs/datatypes/optiont.md                     |  2 +-
 docs/datatypes/validated.md                   |  6 +-
 docs/datatypes/writert.md                     |  2 +-
 docs/faq.md                                   |  4 +-
 docs/guidelines.md                            |  2 +-
 docs/typeclasses/alternative.md               |  2 +-
 docs/typeclasses/applicative.md               | 12 ++--
 docs/typeclasses/applicativemonaderror.md     |  8 +--
 docs/typeclasses/arrow.md                     |  2 +-
 docs/typeclasses/bifoldable.md                |  2 +-
 docs/typeclasses/bifunctor.md                 |  2 +-
 docs/typeclasses/bimonad.md                   |  2 +-
 docs/typeclasses/comonad.md                   |  2 +-
 docs/typeclasses/contravariant.md             |  2 +-
 docs/typeclasses/contravariantmonoidal.md     |  2 +-
 docs/typeclasses/eq.md                        |  4 +-
 docs/typeclasses/foldable.md                  |  2 +-
 docs/typeclasses/functor.md                   |  4 +-
 docs/typeclasses/invariant.md                 |  2 +-
 docs/typeclasses/invariantmonoidal.md         |  2 +-
 docs/typeclasses/lawtesting.md                |  6 +-
 docs/typeclasses/monad.md                     |  4 +-
 docs/typeclasses/monoid.md                    |  6 +-
 docs/typeclasses/monoidk.md                   |  2 +-
 docs/typeclasses/nonemptytraverse.md          |  2 +-
 docs/typeclasses/parallel.md                  |  2 +-
 docs/typeclasses/reducible.md                 |  2 +-
 docs/typeclasses/semigroup.md                 |  8 +--
 docs/typeclasses/semigroupk.md                |  4 +-
 docs/typeclasses/show.md                      |  2 +-
 docs/typeclasses/traverse.md                  |  2 +-
 .../main/scala/cats/laws/CoflatMapLaws.scala  |  2 +-
 .../main/scala/cats/laws/ComonadLaws.scala    |  2 +-
 .../main/scala/cats/laws/FoldableLaws.scala   |  2 +-
 laws/src/main/scala/cats/laws/MonadLaws.scala |  2 +-
 .../main/scala/cats/laws/ReducibleLaws.scala  |  2 +-
 .../cats/tests/FunctionKLiftSuite.scala       |  2 +-
 .../cats/tests/FunctionKLiftSuite.scala       |  2 +-
 .../test/scala/cats/tests/OrderSuite.scala    |  2 +-
 .../scala/cats/tests/PartialOrderSuite.scala  |  2 +-
 .../test/scala/cats/tests/VarianceSuite.scala |  2 +-
 121 files changed, 449 insertions(+), 449 deletions(-)

diff --git a/bench/src/main/scala/cats/bench/CollectionMonoidBench.scala b/bench/src/main/scala/cats/bench/CollectionMonoidBench.scala
index 64d5bfd553..0052e29752 100644
--- a/bench/src/main/scala/cats/bench/CollectionMonoidBench.scala
+++ b/bench/src/main/scala/cats/bench/CollectionMonoidBench.scala
@@ -22,7 +22,7 @@
 package cats.bench
 
 import cats.data.Chain
-import cats.implicits._
+import cats.syntax.all._
 import org.openjdk.jmh.annotations.{Benchmark, Scope, State}
 
 @State(Scope.Thread)
diff --git a/bench/src/main/scala/cats/bench/EitherKMapBench.scala b/bench/src/main/scala/cats/bench/EitherKMapBench.scala
index e69e5f89e1..cad50d56bb 100644
--- a/bench/src/main/scala/cats/bench/EitherKMapBench.scala
+++ b/bench/src/main/scala/cats/bench/EitherKMapBench.scala
@@ -23,7 +23,7 @@ package cats.bench
 
 import cats.Functor
 import cats.data.EitherK
-import cats.implicits._
+import cats.syntax.all._
 import org.openjdk.jmh.annotations.{Benchmark, Scope, State}
 
 @State(Scope.Benchmark)
diff --git a/bench/src/main/scala/cats/bench/TrampolineBench.scala b/bench/src/main/scala/cats/bench/TrampolineBench.scala
index 78eaacb3a4..7b49511349 100644
--- a/bench/src/main/scala/cats/bench/TrampolineBench.scala
+++ b/bench/src/main/scala/cats/bench/TrampolineBench.scala
@@ -24,7 +24,7 @@ package cats.bench
 import org.openjdk.jmh.annotations.{Benchmark, Scope, State}
 
 import cats._
-import cats.implicits._
+import cats.syntax.all._
 import cats.free.Trampoline
 import scala.util.control.TailCalls
 
diff --git a/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala b/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala
index bbfadaf8c6..aac6fe92d3 100644
--- a/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala
+++ b/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala
@@ -21,7 +21,7 @@
 
 package catsBC
 import cats.InjectK
-import cats.implicits._
+import cats.syntax.all._
 
 object MimaExceptions {
 
diff --git a/core/src/main/scala-2.13+/cats/data/NonEmptyLazyList.scala b/core/src/main/scala-2.13+/cats/data/NonEmptyLazyList.scala
index 931516c806..846b960ef1 100644
--- a/core/src/main/scala-2.13+/cats/data/NonEmptyLazyList.scala
+++ b/core/src/main/scala-2.13+/cats/data/NonEmptyLazyList.scala
@@ -395,7 +395,7 @@ class NonEmptyLazyListOps[A](private val value: NonEmptyLazyList[A])
    * {{{
    * scala> import scala.collection.immutable.SortedMap
    * scala> import cats.data.NonEmptyLazyList
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyLazyList(12, -2, 3, -5)
    * scala> val expectedResult = SortedMap(false -> NonEmptyLazyList(-2, -5), true -> NonEmptyLazyList(12, 3))
    * scala> val result = nel.groupBy(_ >= 0)
@@ -427,7 +427,7 @@ class NonEmptyLazyListOps[A](private val value: NonEmptyLazyList[A])
    *
    * {{{
    * scala> import cats.data.{NonEmptyLazyList, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyLazyList(12, -2, 3, -5)
    * scala> val expectedResult = NonEmptyMap.of(false -> NonEmptyLazyList(-2, -5), true -> NonEmptyLazyList(12, 3))
    * scala> val result = nel.groupByNem(_ >= 0)
@@ -443,7 +443,7 @@ class NonEmptyLazyListOps[A](private val value: NonEmptyLazyList[A])
    *
    * {{{
    * scala> import cats.data.NonEmptyLazyList
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyLazyList.fromLazyListUnsafe(LazyList(12, -2, 3, -5))
    * scala> val expectedResult = List(
    *      |   NonEmptyLazyList.fromLazyListUnsafe(LazyList(12, -2)),
@@ -463,7 +463,7 @@ class NonEmptyLazyListOps[A](private val value: NonEmptyLazyList[A])
    * Creates new `NonEmptyMap`, similarly to List#toMap from scala standard library.
    * {{{
    * scala> import cats.data.{NonEmptyLazyList, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyLazyList.fromLazyListPrepend((0, "a"), LazyList((1, "b"),(0, "c"), (2, "d")))
    * scala> val expectedResult = NonEmptyMap.of(0 -> "c", 1 -> "b", 2 -> "d")
    * scala> val result = nel.toNem
diff --git a/core/src/main/scala/cats/Align.scala b/core/src/main/scala/cats/Align.scala
index 9e496fa792..8b87faa7e2 100644
--- a/core/src/main/scala/cats/Align.scala
+++ b/core/src/main/scala/cats/Align.scala
@@ -39,7 +39,7 @@ trait Align[F[_]] extends Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.Ior
    * scala> Align[List].align(List(1, 2), List(10, 11, 12))
    * res0: List[Ior[Int, Int]] = List(Both(1,10), Both(2,11), Right(12))
@@ -52,7 +52,7 @@ trait Align[F[_]] extends Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> Align[List].alignWith(List(1, 2), List(10, 11, 12))(_.mergeLeft)
    * res0: List[Int] = List(1, 2, 12)
    * }}}
@@ -65,7 +65,7 @@ trait Align[F[_]] extends Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> Align[List].alignCombine(List(1, 2), List(10, 11, 12))
    * res0: List[Int] = List(11, 13, 12)
    * }}}
@@ -78,7 +78,7 @@ trait Align[F[_]] extends Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> Align[List].alignMergeWith(List(1, 2), List(10, 11, 12))(_ + _)
    * res0: List[Int] = List(11, 13, 12)
    * }}}
@@ -91,7 +91,7 @@ trait Align[F[_]] extends Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> Align[List].padZip(List(1, 2), List(10))
    * res0: List[(Option[Int], Option[Int])] = List((Some(1),Some(10)), (Some(2),None))
    * }}}
@@ -104,7 +104,7 @@ trait Align[F[_]] extends Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> Align[List].padZipWith(List(1, 2), List(10, 11, 12))(_ |+| _)
    * res0: List[Option[Int]] = List(Some(11), Some(13), Some(12))
    * }}}
@@ -120,7 +120,7 @@ trait Align[F[_]] extends Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> Align[List].zipAll(List(1, 2), List(10, 11, 12), 20, 21)
    * res0: List[(Int, Int)] = List((1,10), (2,11), (20,12))
    * }}}
diff --git a/core/src/main/scala/cats/Alternative.scala b/core/src/main/scala/cats/Alternative.scala
index 0358bc9fa9..e2cce09bcf 100644
--- a/core/src/main/scala/cats/Alternative.scala
+++ b/core/src/main/scala/cats/Alternative.scala
@@ -85,7 +85,7 @@ trait Alternative[F[_]] extends NonEmptyAlternative[F] with MonoidK[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val l: List[Either[String, Int]] = List(Right(1), Left("error"))
    * scala> Alternative[List].separateFoldable(l)
    * res0: (List[String], List[Int]) = (List(error),List(1))
@@ -104,7 +104,7 @@ trait Alternative[F[_]] extends NonEmptyAlternative[F] with MonoidK[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> def even(i: Int): Option[String] = Alternative[Option].guard(i % 2 == 0).as("even")
    * scala> even(2)
    * res0: Option[String] = Some(even)
diff --git a/core/src/main/scala/cats/Applicative.scala b/core/src/main/scala/cats/Applicative.scala
index 4b6579a76f..8d0683a5ea 100644
--- a/core/src/main/scala/cats/Applicative.scala
+++ b/core/src/main/scala/cats/Applicative.scala
@@ -43,7 +43,7 @@ trait Applicative[F[_]] extends Apply[F] with InvariantMonoidal[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> Applicative[Option].pure(10)
    * res0: Option[Int] = Some(10)
@@ -59,7 +59,7 @@ trait Applicative[F[_]] extends Apply[F] with InvariantMonoidal[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> Applicative[Option].unit
    * res0: Option[Unit] = Some(())
@@ -150,7 +150,7 @@ trait Applicative[F[_]] extends Apply[F] with InvariantMonoidal[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val alo = Applicative[List].compose[Option]
    *
@@ -174,7 +174,7 @@ trait Applicative[F[_]] extends Apply[F] with InvariantMonoidal[F] { self =>
    * Example:
    * {{{
    * scala> import cats.kernel.Comparison
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all.__
    *
    * // compares strings by alphabetical order
    * scala> val alpha: Order[String] = Order[String]
@@ -221,7 +221,7 @@ trait Applicative[F[_]] extends Apply[F] with InvariantMonoidal[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> Applicative[List].unlessA(true)(List(1, 2, 3))
    * res0: List[Unit] = List(())
@@ -245,7 +245,7 @@ trait Applicative[F[_]] extends Apply[F] with InvariantMonoidal[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> Applicative[List].whenA(true)(List(1, 2, 3))
    * res0: List[Unit] = List((), (), ())
@@ -275,7 +275,7 @@ object Applicative {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.Applicative.catsApplicativeForArrow
    * scala> val toLong: Int => Long = _.toLong
    * scala> val double: Int => Int = 2*_
@@ -294,7 +294,7 @@ object Applicative {
    * Example:
    * {{{
    * scala> import cats._
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val fa = Some(3)
    * fa: Option[Int] = Some(3)
    * scala> Applicative.coflatMap[Option].coflatten(fa)
diff --git a/core/src/main/scala/cats/ApplicativeError.scala b/core/src/main/scala/cats/ApplicativeError.scala
index e52ef73578..624a9c32e9 100644
--- a/core/src/main/scala/cats/ApplicativeError.scala
+++ b/core/src/main/scala/cats/ApplicativeError.scala
@@ -41,7 +41,7 @@ trait ApplicativeError[F[_], E] extends Applicative[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * // integer-rounded division
    * scala> def divide[F[_]](dividend: Int, divisor: Int)(implicit F: ApplicativeError[F, String]): F[Int] =
@@ -322,7 +322,7 @@ trait ApplicativeError[F[_], E] extends Applicative[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.ApplicativeError
    * scala> val F = ApplicativeError[Either[String, *], String]
    *
@@ -344,7 +344,7 @@ trait ApplicativeError[F[_], E] extends Applicative[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.ApplicativeError
    *
    * scala> ApplicativeError[Option, Unit].fromValidated(1.valid[Unit])
@@ -388,7 +388,7 @@ object ApplicativeError {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.ApplicativeError
    *
    * scala> ApplicativeError.liftFromOption[Either[String, *]](Some(1), "Empty")
diff --git a/core/src/main/scala/cats/Apply.scala b/core/src/main/scala/cats/Apply.scala
index df9324bf49..b740fc767f 100644
--- a/core/src/main/scala/cats/Apply.scala
+++ b/core/src/main/scala/cats/Apply.scala
@@ -36,7 +36,7 @@ trait Apply[F[_]] extends Functor[F] with InvariantSemigroupal[F] with ApplyArit
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val someF: Option[Int => Long] = Some(_.toLong + 1L)
    * scala> val noneF: Option[Int => Long] = None
@@ -65,7 +65,7 @@ trait Apply[F[_]] extends Functor[F] with InvariantSemigroupal[F] with ApplyArit
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.Validated
    * scala> import Validated.{Valid, Invalid}
    *
@@ -99,7 +99,7 @@ trait Apply[F[_]] extends Functor[F] with InvariantSemigroupal[F] with ApplyArit
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all.__
    * scala> import cats.data.Validated
    * scala> import Validated.{Valid, Invalid}
    *
@@ -174,7 +174,7 @@ trait Apply[F[_]] extends Functor[F] with InvariantSemigroupal[F] with ApplyArit
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val someInt: Option[Int] = Some(3)
    * scala> val noneInt: Option[Int] = None
@@ -212,7 +212,7 @@ trait Apply[F[_]] extends Functor[F] with InvariantSemigroupal[F] with ApplyArit
    *
    * {{{
    * scala> import cats.{Eval, Later}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val bomb: Eval[Option[Int]] = Later(sys.error("boom"))
    * scala> val x: Option[Int] = None
    * scala> x.map2Eval(bomb)(_ + _).value
@@ -227,7 +227,7 @@ trait Apply[F[_]] extends Functor[F] with InvariantSemigroupal[F] with ApplyArit
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val alo = Apply[List].compose[Option]
    *
diff --git a/core/src/main/scala/cats/Bifoldable.scala b/core/src/main/scala/cats/Bifoldable.scala
index 3e4bd8265a..12b4f7f3dc 100644
--- a/core/src/main/scala/cats/Bifoldable.scala
+++ b/core/src/main/scala/cats/Bifoldable.scala
@@ -41,7 +41,7 @@ trait Bifoldable[F[_, _]] extends Serializable { self =>
    *
    * With syntax extensions, `bifoldLeft` can be used like:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> fab.bifoldLeft(Option(0))((c, a) => c.map(_ + a.head), (c, b) => c.map(_ + b))
    * res1: Option[Int] = Some(3)
    * }}}
@@ -73,7 +73,7 @@ trait Bifoldable[F[_, _]] extends Serializable { self =>
    *
    * With syntax extensions, `bifoldRight` can be used like:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val bifolded2 = fab.bifoldRight(Eval.now(0))((a, c) => c.map(_ + a.head), (b, c) => c.map(_ + b))
    * scala> bifolded2.value
    * res1: Int = 3
diff --git a/core/src/main/scala/cats/Bifunctor.scala b/core/src/main/scala/cats/Bifunctor.scala
index db4d415dad..fb60f8bf11 100644
--- a/core/src/main/scala/cats/Bifunctor.scala
+++ b/core/src/main/scala/cats/Bifunctor.scala
@@ -33,7 +33,7 @@ trait Bifunctor[F[_, _]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all.__
    *
    * scala> val x: (List[String], Int) = (List("foo", "bar"), 3)
    * scala> x.bimap(_.headOption, _.toLong + 1)
@@ -67,7 +67,7 @@ trait Bifunctor[F[_, _]] extends Serializable { self =>
    * Widens A into a supertype AA.
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> sealed trait Foo
    * scala> case object Bar extends Foo
    * scala> val x1: Either[Bar.type, Int] = Either.left(Bar)
diff --git a/core/src/main/scala/cats/Bitraverse.scala b/core/src/main/scala/cats/Bitraverse.scala
index 7da55b3258..91e02e9117 100644
--- a/core/src/main/scala/cats/Bitraverse.scala
+++ b/core/src/main/scala/cats/Bitraverse.scala
@@ -31,7 +31,7 @@ trait Bitraverse[F[_, _]] extends Bifoldable[F] with Bifunctor[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> def parseInt(s: String): Option[Int] = Either.catchOnly[NumberFormatException](s.toInt).toOption
    *
@@ -49,7 +49,7 @@ trait Bitraverse[F[_, _]] extends Bifoldable[F] with Bifunctor[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val rightSome: Either[Option[String], Option[Int]] = Either.right(Some(3))
    * scala> rightSome.bisequence
@@ -89,7 +89,7 @@ trait Bitraverse[F[_, _]] extends Bifoldable[F] with Bifunctor[F] { self =>
    *
    *  Example:
    *  {{{
-   *  scala> import cats.implicits._
+   *  scala> import cats.syntax.all._
    *
    *  scala> val intAndString: (Int, String) = (7, "test")
    *
@@ -110,7 +110,7 @@ trait Bitraverse[F[_, _]] extends Bifoldable[F] with Bifunctor[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val optionalErrorRight: Either[Option[String], Int] = Either.right(123)
    * scala> optionalErrorRight.leftSequence
diff --git a/core/src/main/scala/cats/CoflatMap.scala b/core/src/main/scala/cats/CoflatMap.scala
index b32a605694..d6001c4923 100644
--- a/core/src/main/scala/cats/CoflatMap.scala
+++ b/core/src/main/scala/cats/CoflatMap.scala
@@ -35,7 +35,7 @@ trait CoflatMap[F[_]] extends Functor[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.CoflatMap
    * scala> val fa = Some(3)
    * scala> def f(a: Option[Int]): Int = a match {
@@ -53,7 +53,7 @@ trait CoflatMap[F[_]] extends Functor[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.CoflatMap
    * scala> val fa = Some(3)
    * fa: Option[Int] = Some(3)
diff --git a/core/src/main/scala/cats/Defer.scala b/core/src/main/scala/cats/Defer.scala
index 7b7884f42b..6a109bd358 100644
--- a/core/src/main/scala/cats/Defer.scala
+++ b/core/src/main/scala/cats/Defer.scala
@@ -34,7 +34,7 @@ import scala.util.control.TailCalls.TailRec
  * so
  * {{{
  * scala> import cats._
- * scala> import cats.implicits._
+ * scala> import cats.syntax.all._
  *
  * scala> var evaluated = false
  * scala> val dfa = Defer[Eval].defer {
diff --git a/core/src/main/scala/cats/FlatMap.scala b/core/src/main/scala/cats/FlatMap.scala
index 9bb64722cd..1adeb60fa3 100644
--- a/core/src/main/scala/cats/FlatMap.scala
+++ b/core/src/main/scala/cats/FlatMap.scala
@@ -47,7 +47,7 @@ trait FlatMap[F[_]] extends Apply[F] with FlatMapArityFunctions[F] {
    * Example:
    * {{{
    * scala> import cats.Eval
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val nested: Eval[Eval[Int]] = Eval.now(Eval.now(3))
    * scala> val flattened: Eval[Int] = nested.flatten
@@ -65,7 +65,7 @@ trait FlatMap[F[_]] extends Apply[F] with FlatMapArityFunctions[F] {
    *
    * {{{
    * scala> import cats.Eval
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val fa: Option[Int] = Some(3)
    * scala> def fb: Option[String] = Some("foo")
    * scala> fa.productREval(Eval.later(fb))
@@ -84,7 +84,7 @@ trait FlatMap[F[_]] extends Apply[F] with FlatMapArityFunctions[F] {
    *
    * {{{
    * scala> import cats.Eval
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> var count = 0
    * scala> val fa: Option[Int] = Some(3)
    * scala> def fb: Option[Unit] = Some(count += 1)
@@ -127,7 +127,7 @@ trait FlatMap[F[_]] extends Apply[F] with FlatMapArityFunctions[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> List("12", "34", "56").mproduct(_.toList)
    * res0: List[(String, Char)] = List((12,1), (12,2), (34,3), (34,4), (56,5), (56,6))
    * }}}
diff --git a/core/src/main/scala/cats/Foldable.scala b/core/src/main/scala/cats/Foldable.scala
index 3392031344..cc97002452 100644
--- a/core/src/main/scala/cats/Foldable.scala
+++ b/core/src/main/scala/cats/Foldable.scala
@@ -160,7 +160,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all.___
    * scala> val l = List(6, 3, 2)
    * This is equivalent to (6 - 3) - 2
    * scala> Foldable[List].reduceLeftOption(l)(_ - _)
@@ -188,7 +188,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val l = List(6, 3, 2)
    * This is equivalent to 6 - (3 - 2)
    * scala> Foldable[List].reduceRightOption(l)((current, rest) => rest.map(current - _)).value
@@ -344,7 +344,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * Like `collectFirst` from `scala.collection.Traversable` but takes `A => Option[B]`
    * instead of `PartialFunction`s.
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val keys = List(1, 2, 4, 5)
    * scala> val map = Map(4 -> "Four", 5 -> "Five")
    * scala> keys.collectFirstSome(map.get)
@@ -368,7 +368,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    *
    * For example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> def parseInt(s: String): Either[String, Int] = Either.catchOnly[NumberFormatException](s.toInt).leftMap(_.getMessage)
    * scala> val keys1 = List("1", "2", "4", "5")
    * scala> val map1 = Map(4 -> "Four", 5 -> "Five")
@@ -402,7 +402,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
   /**
    * Tear down a subset of this structure using a `PartialFunction`.
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val xs = List(1, 2, 3, 4)
    * scala> Foldable[List].collectFold(xs) { case n if n % 2 == 0 => n }
    * res0: Int = 6
@@ -415,7 +415,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
   /**
    * Tear down a subset of this structure using a `A => Option[M]`.
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val xs = List(1, 2, 3, 4)
    * scala> def f(n: Int): Option[Int] = if (n % 2 == 0) Some(n) else None
    * scala> Foldable[List].collectFoldSome(xs)(f)
@@ -491,7 +491,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * For example:
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val F = Foldable[List]
    * scala> F.foldA(List(Either.right[String, Int](1), Either.right[String, Int](2)))
    * res0: Either[String, Int] = Right(3)
@@ -532,7 +532,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    *
    * {{{
    * scala> import cats.Foldable
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val evenNumbers = List(2,4,6,8,10)
    * scala> val evenOpt: Int => Option[Int] =
    *      |   i => if (i % 2 == 0) Some(i) else None
@@ -553,7 +553,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    *
    * {{{
    * scala> import cats.Foldable
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val evenNumbers = List(2,4,6,8,10)
    * scala> val evenOpt: Int => Option[Int] =
    *      |   i => if (i % 2 == 0) Some(i) else None
@@ -575,7 +575,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * For example:
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> def parseInt(s: String): Option[Int] = Either.catchOnly[NumberFormatException](s.toInt).toOption
    * scala> val F = Foldable[List]
    * scala> F.traverse_(List("333", "444"))(parseInt)
@@ -604,7 +604,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * For example:
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val F = Foldable[List]
    * scala> F.sequence_(List(Option(1), Option(2), Option(3)))
    * res0: Option[Unit] = Some(())
@@ -624,7 +624,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * For example:
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val F = Foldable[List]
    * scala> F.foldK(List(1 :: 2 :: Nil, 3 :: 4 :: 5 :: Nil))
    * res0: List[Int] = List(1, 2, 3, 4, 5)
@@ -647,7 +647,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    *
    * For example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val list = List(1,2,3,4)
    * scala> Foldable[List].findM(list)(n => (n >= 2).asRight[String])
    * res0: Either[String,Option[Int]] = Right(Some(2))
@@ -694,7 +694,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * For example:
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val F = Foldable[List]
    * scala> F.existsM(List(1,2,3,4))(n => Option(n <= 4))
    * res0: Option[Boolean] = Some(true)
@@ -729,7 +729,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * For example:
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val F = Foldable[List]
    * scala> F.forallM(List(1,2,3,4))(n => Option(n <= 4))
    * res0: Option[Boolean] = Some(true)
@@ -768,7 +768,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * Equivalent to `Functor#map` and then `Alternative#separate`.
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val list = List(1,2,3,4)
    * scala> Foldable[List].partitionEither(list)(a => if (a % 2 == 0) Left(a.toString) else Right(a))
    * res0: (List[String], List[Int]) = (List(2, 4),List(1, 3))
@@ -825,7 +825,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * Intercalate/insert an element between the existing elements while folding.
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> Foldable[List].intercalate(List("a","b","c"), "-")
    * res0: String = a-b-c
    * scala> Foldable[List].intercalate(List("a"), "-")
@@ -871,7 +871,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * Equivalent to `Functor#map` and then `Alternative#separate`.
    *
    * {{{
-   * scala> import cats.implicits._, cats.Foldable, cats.data.Const
+   * scala> import cats.syntax.all._, cats.Foldable, cats.data.Const
    * scala> val list = List(1,2,3,4)
    * scala> Foldable[List].partitionBifold(list)(a => ("value " + a.toString(), if (a % 2 == 0) -a else a))
    * res0: (List[String], List[Int]) = (List(value 1, value 2, value 3, value 4),List(1, -2, 3, -4))
@@ -898,7 +898,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * Equivalent to `Traverse#traverse` over `Alternative#separate`
    *
    * {{{
-   * scala> import cats.implicits._, cats.Foldable, cats.data.Const
+   * scala> import cats.syntax.all._, cats.Foldable, cats.data.Const
    * scala> val list = List(1,2,3,4)
    * `Const`'s second parameter is never instantiated, so we can use an impossible type:
    * scala> Foldable[List].partitionBifoldM(list)(a => Option(Const[Int, Nothing with Any](a)))
@@ -926,7 +926,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    * Equivalent to `Traverse#traverse` over `Alternative#separate`
    *
    * {{{
-   * scala> import cats.implicits._, cats.Foldable, cats.Eval
+   * scala> import cats.syntax.all._, cats.Foldable, cats.Eval
    * scala> val list = List(1,2,3,4)
    * scala> val partitioned1 = Foldable[List].partitionEitherM(list)(a => if (a % 2 == 0) Eval.now(Either.left[String, Int](a.toString)) else Eval.now(Either.right[String, Int](a)))
    * Since `Eval.now` yields a lazy computation, we need to force it to inspect the result:
diff --git a/core/src/main/scala/cats/Functor.scala b/core/src/main/scala/cats/Functor.scala
index 49f1ed6f59..3a93611343 100644
--- a/core/src/main/scala/cats/Functor.scala
+++ b/core/src/main/scala/cats/Functor.scala
@@ -41,7 +41,7 @@ trait Functor[F[_]] extends Invariant[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val m: Map[Int, String] = Map(1 -> "hi", 2 -> "there", 3 -> "you")
    *
diff --git a/core/src/main/scala/cats/FunctorFilter.scala b/core/src/main/scala/cats/FunctorFilter.scala
index e3363bac12..df13f9a734 100644
--- a/core/src/main/scala/cats/FunctorFilter.scala
+++ b/core/src/main/scala/cats/FunctorFilter.scala
@@ -37,7 +37,7 @@ trait FunctorFilter[F[_]] extends Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val m: Map[Int, String] = Map(1 -> "one", 3 -> "three")
    * scala> val l: List[Int] = List(1, 2, 3, 4)
    * scala> def asString(i: Int): Option[String] = m.get(i)
@@ -53,7 +53,7 @@ trait FunctorFilter[F[_]] extends Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val l: List[Int] = List(1, 2, 3, 4)
    * scala> FunctorFilter[List].collect(l){
    *      |   case 1 => "one"
@@ -71,7 +71,7 @@ trait FunctorFilter[F[_]] extends Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val l: List[Option[Int]] = List(Some(1), None, Some(3), None)
    * scala> l.flattenOption
    * res0: List[Int] = List(1, 3)
diff --git a/core/src/main/scala/cats/Invariant.scala b/core/src/main/scala/cats/Invariant.scala
index f0e100c957..4854be5d77 100644
--- a/core/src/main/scala/cats/Invariant.scala
+++ b/core/src/main/scala/cats/Invariant.scala
@@ -41,7 +41,7 @@ trait Invariant[F[_]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import scala.concurrent.duration._
    *
    * scala> val durSemigroup: Semigroup[FiniteDuration] =
@@ -57,7 +57,7 @@ trait Invariant[F[_]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import scala.concurrent.duration._
    *
    * scala> val durSemigroupList: Semigroup[List[FiniteDuration]] =
@@ -78,7 +78,7 @@ trait Invariant[F[_]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import scala.concurrent.duration._
    *
    * scala> val durSemigroupList: Semigroup[List[FiniteDuration]] =
@@ -101,7 +101,7 @@ trait Invariant[F[_]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import scala.concurrent.duration._
    *
    * scala> type ToInt[T] = T => Int
diff --git a/core/src/main/scala/cats/InvariantMonoidal.scala b/core/src/main/scala/cats/InvariantMonoidal.scala
index 15f4bc91ab..3af1f113ee 100644
--- a/core/src/main/scala/cats/InvariantMonoidal.scala
+++ b/core/src/main/scala/cats/InvariantMonoidal.scala
@@ -33,7 +33,7 @@ trait InvariantMonoidal[F[_]] extends InvariantSemigroupal[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> InvariantMonoidal[Option].point(10)
    * res0: Option[Int] = Some(10)
diff --git a/core/src/main/scala/cats/MonadError.scala b/core/src/main/scala/cats/MonadError.scala
index 49e8d1d8c1..c6e1bfa136 100644
--- a/core/src/main/scala/cats/MonadError.scala
+++ b/core/src/main/scala/cats/MonadError.scala
@@ -45,7 +45,7 @@ trait MonadError[F[_], E] extends ApplicativeError[F, E] with Monad[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import scala.util.{Try, Success}
    *
    * scala> val a: Try[Either[Throwable, Int]] = Success(Left(new java.lang.Exception))
@@ -108,7 +108,7 @@ trait MonadError[F[_], E] extends ApplicativeError[F, E] with Monad[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import scala.util.{Try, Success, Failure}
    *
    * scala> def checkError(result: Either[Throwable, Int]): Try[String] = result.fold(_ => Failure(new java.lang.Exception), _ => Success("success"))
diff --git a/core/src/main/scala/cats/MonoidK.scala b/core/src/main/scala/cats/MonoidK.scala
index 92fd112a1e..38a1191791 100644
--- a/core/src/main/scala/cats/MonoidK.scala
+++ b/core/src/main/scala/cats/MonoidK.scala
@@ -50,7 +50,7 @@ trait MonoidK[F[_]] extends SemigroupK[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> MonoidK[List].empty[Long]
    * res0: List[Long] = List()
    * }}}
@@ -77,7 +77,7 @@ trait MonoidK[F[_]] extends SemigroupK[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> MonoidK[List].algebra[Long].empty
    * res0: List[Long] = List()
    * }}}
@@ -93,7 +93,7 @@ trait MonoidK[F[_]] extends SemigroupK[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val monoidK = MonoidK[List].compose[Option]
    * scala> monoidK.combineK(List(Some(1)), List(Some(2), None))
    * res0: List[Option[Int]] = List(Some(1), Some(2), None)
diff --git a/core/src/main/scala/cats/NonEmptyTraverse.scala b/core/src/main/scala/cats/NonEmptyTraverse.scala
index eb1983b635..fe0beea466 100644
--- a/core/src/main/scala/cats/NonEmptyTraverse.scala
+++ b/core/src/main/scala/cats/NonEmptyTraverse.scala
@@ -36,7 +36,7 @@ trait NonEmptyTraverse[F[_]] extends Traverse[F] with Reducible[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.NonEmptyList
    * scala> def countWords(words: List[String]): Map[String, Int] = words.groupBy(identity).map { case (k, v) => (k, v.length) }
    * scala> val expectedResult = Map("do" -> NonEmptyList.of(1, 2), "you" -> NonEmptyList.of(1, 1))
@@ -55,7 +55,7 @@ trait NonEmptyTraverse[F[_]] extends Traverse[F] with Reducible[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.NonEmptyList
    * scala> val x = NonEmptyList.of(Map("do" -> 1, "you" -> 1), Map("do" -> 2, "you" -> 1))
    * scala> val y = NonEmptyList.of(Map("How" -> 3, "do" -> 1, "you" -> 1), Map[String,Int]())
@@ -73,7 +73,7 @@ trait NonEmptyTraverse[F[_]] extends Traverse[F] with Reducible[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.NonEmptyList
    * scala> val x = NonEmptyList.of(List("How", "do", "you", "fly"), List("What", "do", "you", "do"))
    * scala> x.nonEmptyFlatTraverse(_.groupByNel(identity) : Map[String, NonEmptyList[String]])
@@ -89,7 +89,7 @@ trait NonEmptyTraverse[F[_]] extends Traverse[F] with Reducible[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.NonEmptyList
    * scala> val x = NonEmptyList.of(Map(0 ->NonEmptyList.of(1, 2)), Map(0 -> NonEmptyList.of(3)))
    * scala> val y: NonEmptyList[Map[Int, NonEmptyList[Int]]] = NonEmptyList.of(Map(), Map(1 -> NonEmptyList.of(3)))
diff --git a/core/src/main/scala/cats/Parallel.scala b/core/src/main/scala/cats/Parallel.scala
index ac47c5bd23..adbae65d68 100644
--- a/core/src/main/scala/cats/Parallel.scala
+++ b/core/src/main/scala/cats/Parallel.scala
@@ -157,7 +157,7 @@ object Parallel extends ParallelArityFunctions2 {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data._
    * scala> val list: List[Int] = List(1, 2, 3, 4)
    * scala> def validate(n: Int): EitherNec[String, Option[Int]] =
@@ -182,7 +182,7 @@ object Parallel extends ParallelArityFunctions2 {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data._
    * scala> val list: List[EitherNec[String, Option[Int]]] = List(Left(NonEmptyChain.one("Error")), Left(NonEmptyChain.one("Warning!")))
    * scala> list.parSequenceFilter
@@ -201,7 +201,7 @@ object Parallel extends ParallelArityFunctions2 {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data._
    * scala> val list: List[Int] = List(1, 2, 3, 4)
    * scala> def validate(n: Int): EitherNec[String, Boolean] =
diff --git a/core/src/main/scala/cats/Representable.scala b/core/src/main/scala/cats/Representable.scala
index 0dfbf3a464..5316884b4f 100644
--- a/core/src/main/scala/cats/Representable.scala
+++ b/core/src/main/scala/cats/Representable.scala
@@ -45,7 +45,7 @@ trait Representable[F[_]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> type Pair[A] = (A, A)
    *
@@ -65,7 +65,7 @@ trait Representable[F[_]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> type Pair[A] = (A, A)
    *
@@ -154,7 +154,7 @@ object Representable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> type Pair[A] = (A, A)
    *
diff --git a/core/src/main/scala/cats/SemigroupK.scala b/core/src/main/scala/cats/SemigroupK.scala
index 47333a0705..6b56ca67f4 100644
--- a/core/src/main/scala/cats/SemigroupK.scala
+++ b/core/src/main/scala/cats/SemigroupK.scala
@@ -52,7 +52,7 @@ trait SemigroupK[F[_]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> SemigroupK[List].combineK(List(1, 2), List(3, 4))
    * res0: List[Int] = List(1, 2, 3, 4)
    * }}}
@@ -75,7 +75,7 @@ trait SemigroupK[F[_]] extends Serializable { self =>
    *
    * {{{
    * scala> import cats.{Eval, Later}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val bomb: Eval[Option[Int]] = Later(sys.error("boom"))
    * scala> val x: Option[Int] = Some(42)
    * scala> x.combineKEval(bomb).value
@@ -90,7 +90,7 @@ trait SemigroupK[F[_]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val s: Semigroup[List[Int]] = SemigroupK[List].algebra[Int]
    * }}}
    */
@@ -103,7 +103,7 @@ trait SemigroupK[F[_]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> type ListOption[A] = List[Option[A]]
    * scala> val s: SemigroupK[ListOption] = SemigroupK[List].compose[Option]
    * scala> s.combineK(List(Some(1), None, Some(2)), List(Some(3), None))
diff --git a/core/src/main/scala/cats/Semigroupal.scala b/core/src/main/scala/cats/Semigroupal.scala
index 88f7ad15bd..3a7f64a63c 100644
--- a/core/src/main/scala/cats/Semigroupal.scala
+++ b/core/src/main/scala/cats/Semigroupal.scala
@@ -43,7 +43,7 @@ trait Semigroupal[F[_]] extends Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val noneInt: Option[Int] = None
    * scala> val some3: Option[Int] = Some(3)
diff --git a/core/src/main/scala/cats/Traverse.scala b/core/src/main/scala/cats/Traverse.scala
index 295395b0b8..f0f0ac0a17 100644
--- a/core/src/main/scala/cats/Traverse.scala
+++ b/core/src/main/scala/cats/Traverse.scala
@@ -44,7 +44,7 @@ trait Traverse[F[_]] extends Functor[F] with Foldable[F] with UnorderedTraverse[
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> def parseInt(s: String): Option[Int] = Either.catchOnly[NumberFormatException](s.toInt).toOption
    * scala> List("1", "2", "3").traverse(parseInt)
    * res0: Option[List[Int]] = Some(List(1, 2, 3))
@@ -62,7 +62,7 @@ trait Traverse[F[_]] extends Functor[F] with Foldable[F] with UnorderedTraverse[
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import java.io.IOException
    * scala> type IO[A] = Either[IOException, A]
    * scala> def debug(msg: String): IO[Unit] = Right(())
@@ -78,7 +78,7 @@ trait Traverse[F[_]] extends Functor[F] with Foldable[F] with UnorderedTraverse[
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> def parseInt(s: String): Option[Int] = Either.catchOnly[NumberFormatException](s.toInt).toOption
    * scala> val x = Option(List("1", "two", "3"))
    * scala> x.flatTraverse(_.map(parseInt))
@@ -94,7 +94,7 @@ trait Traverse[F[_]] extends Functor[F] with Foldable[F] with UnorderedTraverse[
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val x: List[Option[Int]] = List(Some(1), Some(2))
    * scala> val y: List[Option[Int]] = List(None, Some(2))
    * scala> x.sequence
@@ -112,7 +112,7 @@ trait Traverse[F[_]] extends Functor[F] with Foldable[F] with UnorderedTraverse[
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val x: List[Option[List[Int]]] = List(Some(List(1, 2)), Some(List(3)))
    * scala> val y: List[Option[List[Int]]] = List(None, Some(List(3)))
    * scala> x.flatSequence
diff --git a/core/src/main/scala/cats/TraverseFilter.scala b/core/src/main/scala/cats/TraverseFilter.scala
index 59e84ba22a..2f44b0f7c3 100644
--- a/core/src/main/scala/cats/TraverseFilter.scala
+++ b/core/src/main/scala/cats/TraverseFilter.scala
@@ -45,7 +45,7 @@ trait TraverseFilter[F[_]] extends FunctorFilter[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val m: Map[Int, String] = Map(1 -> "one", 3 -> "three")
    * scala> val l: List[Int] = List(1, 2, 3, 4)
    * scala> def asString(i: Int): Eval[Option[String]] = Now(m.get(i))
@@ -59,7 +59,7 @@ trait TraverseFilter[F[_]] extends FunctorFilter[F] {
   /**
    * A combined [[traverse]] and [[collect]].
    *
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val m: Map[Int, String] = Map(1 -> "one", 2 -> "two")
    * scala> val l: List[Int] = List(1, 2, 3, 4)
    * scala> def asString: PartialFunction[Int, Eval[Option[String]]] = { case n if n % 2 == 0 => Now(m.get(n)) }
@@ -74,7 +74,7 @@ trait TraverseFilter[F[_]] extends FunctorFilter[F] {
 
   /**
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val a: List[Either[String, Option[Int]]] = List(Right(Some(1)), Right(Some(5)), Right(Some(3)))
    * scala> val b: Either[String, List[Int]] = TraverseFilter[List].sequenceFilter(a)
    * b: Either[String, List[Int]] = Right(List(1, 5, 3))
@@ -92,7 +92,7 @@ trait TraverseFilter[F[_]] extends FunctorFilter[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val l: List[Int] = List(1, 2, 3, 4)
    * scala> def odd(i: Int): Eval[Boolean] = Now(i % 2 == 1)
    * scala> val res: Eval[List[Int]] = l.filterA(odd)
diff --git a/core/src/main/scala/cats/UnorderedFoldable.scala b/core/src/main/scala/cats/UnorderedFoldable.scala
index 1c77840d8d..6a41b2a8aa 100644
--- a/core/src/main/scala/cats/UnorderedFoldable.scala
+++ b/core/src/main/scala/cats/UnorderedFoldable.scala
@@ -81,7 +81,7 @@ trait UnorderedFoldable[F[_]] extends Serializable {
    *
    * For example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val map1 = Map[Int, String]()
    * scala> val p1: String => Boolean = _.length > 0
    * scala> UnorderedFoldable[Map[Int, *]].count(map1)(p1)
diff --git a/core/src/main/scala/cats/arrow/Arrow.scala b/core/src/main/scala/cats/arrow/Arrow.scala
index 812b42b2b3..0d041f4074 100644
--- a/core/src/main/scala/cats/arrow/Arrow.scala
+++ b/core/src/main/scala/cats/arrow/Arrow.scala
@@ -52,7 +52,7 @@ trait Arrow[F[_, _]] extends Category[F] with Strong[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.arrow.Arrow
    * scala> val toLong: Int => Long = _.toLong
    * scala> val toDouble: Float => Double = _.toDouble
@@ -73,7 +73,7 @@ trait Arrow[F[_, _]] extends Category[F] with Strong[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val addEmpty: Int => Int = _ + 0
    * scala> val multiplyEmpty: Int => Double= _ * 1d
    * scala> val f: Int => (Int, Double) = addEmpty &&& multiplyEmpty
diff --git a/core/src/main/scala/cats/arrow/ArrowChoice.scala b/core/src/main/scala/cats/arrow/ArrowChoice.scala
index 9664edab27..c76745e9ac 100644
--- a/core/src/main/scala/cats/arrow/ArrowChoice.scala
+++ b/core/src/main/scala/cats/arrow/ArrowChoice.scala
@@ -38,7 +38,7 @@ trait ArrowChoice[F[_, _]] extends Arrow[F] with Choice[F] { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val toLong: Int => Long = _.toLong
    * scala> val toDouble: Float => Double = _.toDouble
    * scala> val f: Either[Int, Float] => Either[Long, Double] = toLong +++ toDouble
diff --git a/core/src/main/scala/cats/arrow/Choice.scala b/core/src/main/scala/cats/arrow/Choice.scala
index a2ccebcd85..d5259456d2 100644
--- a/core/src/main/scala/cats/arrow/Choice.scala
+++ b/core/src/main/scala/cats/arrow/Choice.scala
@@ -31,7 +31,7 @@ trait Choice[F[_, _]] extends Category[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val b: Boolean => String = _.toString + " is a boolean"
    * scala> val i: Int => String =  _.toString + " is an integer"
    * scala> val f: (Either[Boolean, Int]) => String = b ||| i
@@ -52,7 +52,7 @@ trait Choice[F[_, _]] extends Category[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val f: (Either[Int, Int]) => Int = Choice[Function1].codiagonal[Int]
    *
    * scala> f(Right(3))
diff --git a/core/src/main/scala/cats/arrow/Compose.scala b/core/src/main/scala/cats/arrow/Compose.scala
index 2faa4a30d2..d62e7d72e6 100644
--- a/core/src/main/scala/cats/arrow/Compose.scala
+++ b/core/src/main/scala/cats/arrow/Compose.scala
@@ -28,7 +28,7 @@ package arrow
  * Here's how you can use `>>>` and `<<<`
  * Example:
  * {{{
- * scala> import cats.implicits._
+ * scala> import cats.syntax.all._
  * scala> val f : Int => Int = (_ + 1)
  * scala> val g : Int => Int = (_ * 100)
  * scala> (f >>> g)(3)
diff --git a/core/src/main/scala/cats/arrow/Profunctor.scala b/core/src/main/scala/cats/arrow/Profunctor.scala
index a9a99d587f..8a699aed30 100644
--- a/core/src/main/scala/cats/arrow/Profunctor.scala
+++ b/core/src/main/scala/cats/arrow/Profunctor.scala
@@ -35,7 +35,7 @@ trait Profunctor[F[_, _]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.arrow.Profunctor
    * scala> val fab: Double => Double = x => x + 0.3
    * scala> val f: Int => Double = x => x.toDouble / 2
diff --git a/core/src/main/scala/cats/arrow/Strong.scala b/core/src/main/scala/cats/arrow/Strong.scala
index 2565742a5a..561ae1ffd1 100644
--- a/core/src/main/scala/cats/arrow/Strong.scala
+++ b/core/src/main/scala/cats/arrow/Strong.scala
@@ -32,7 +32,7 @@ trait Strong[F[_, _]] extends Profunctor[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.arrow.Strong
    * scala> val f: Int => Int = _ * 2
    * scala> val fab = Strong[Function1].first[Int,Int,Int](f)
@@ -47,7 +47,7 @@ trait Strong[F[_, _]] extends Profunctor[F] {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.arrow.Strong
    * scala> val f: Int => Int = _ * 2
    * scala> val fab = Strong[Function1].second[Int,Int,Int](f)
diff --git a/core/src/main/scala/cats/data/Binested.scala b/core/src/main/scala/cats/data/Binested.scala
index cd440169b5..7ab52ea2b8 100644
--- a/core/src/main/scala/cats/data/Binested.scala
+++ b/core/src/main/scala/cats/data/Binested.scala
@@ -34,7 +34,7 @@ import cats.arrow._
  * {{{
  * scala> import cats.Bifunctor
  * scala> import cats.data.Binested
- * scala> import cats.implicits._
+ * scala> import cats.syntax.all._
  * scala> val eitherListOption: Either[List[Int], Option[String]] = Right(Some("cats"))
  * scala> val f: Int => String = _.toString
  * scala> val g: String => String = _ + "-bifunctor"
diff --git a/core/src/main/scala/cats/data/Chain.scala b/core/src/main/scala/cats/data/Chain.scala
index 6666b7a5f4..01bda7592d 100644
--- a/core/src/main/scala/cats/data/Chain.scala
+++ b/core/src/main/scala/cats/data/Chain.scala
@@ -422,7 +422,7 @@ sealed abstract class Chain[+A] extends ChainCompat[A] {
    * {{{
    * scala> import scala.collection.immutable.SortedMap
    * scala> import cats.data.{Chain, NonEmptyChain}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val chain = Chain(12, -2, 3, -5)
    * scala> val expectedResult = SortedMap(false -> NonEmptyChain(-2, -5), true -> NonEmptyChain(12, 3))
    * scala> val result = chain.groupBy(_ >= 0)
@@ -442,7 +442,7 @@ sealed abstract class Chain[+A] extends ChainCompat[A] {
    * {{{
    * scala> import scala.collection.immutable.SortedMap
    * scala> import cats.data.{Chain, NonEmptyChain}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val chain = Chain(12, -2, 3, -5)
    * scala> val expectedResult = SortedMap(false -> NonEmptyChain("-2", "-5"), true -> NonEmptyChain("12", "3"))
    * scala> val result = chain.groupMap(_ >= 0)(_.toString)
@@ -477,7 +477,7 @@ sealed abstract class Chain[+A] extends ChainCompat[A] {
    * {{{
    * scala> import scala.collection.immutable.SortedMap
    * scala> import cats.data.Chain
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val chain = Chain("Hello", "World", "Goodbye", "World")
    * scala> val expectedResult = SortedMap("goodbye" -> 1, "hello" -> 1, "world" -> 2)
    * scala> val result = chain.groupMapReduce(_.trim.toLowerCase)(_ => 1)
@@ -499,7 +499,7 @@ sealed abstract class Chain[+A] extends ChainCompat[A] {
    * {{{
    * scala> import scala.collection.immutable.SortedMap
    * scala> import cats.data.Chain
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val chain = Chain("Hello", "World", "Goodbye", "World")
    * scala> val expectedResult = SortedMap("goodbye" -> 1, "hello" -> 1, "world" -> 2)
    * scala> val result = chain.groupMapReduceWith(_.trim.toLowerCase)(_ => 1)(_ + _)
diff --git a/core/src/main/scala/cats/data/EitherT.scala b/core/src/main/scala/cats/data/EitherT.scala
index e473ff9ae0..3ee00822d7 100644
--- a/core/src/main/scala/cats/data/EitherT.scala
+++ b/core/src/main/scala/cats/data/EitherT.scala
@@ -39,7 +39,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List, String, Int] = EitherT[List, String, Int](List(Left("456"), Right(123)))
@@ -54,7 +54,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List, String, Int] = EitherT[List, String, Int](List(Right(123),Left("abc")))
@@ -67,7 +67,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List,String,Int] = EitherT[List, String,Int](List(Right(123),Left("abc")))
@@ -80,7 +80,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List,String,Int] = EitherT[List, String,Int](List(Right(123),Left("abc")))
@@ -93,7 +93,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List,String,Int] = EitherT[List, String,Int](List(Right(123),Left("abc")))
@@ -106,7 +106,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List,String,Int] = EitherT[List, String,Int](List(Right(123),Left("abc")))
@@ -119,7 +119,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List,String,Int] = EitherT[List, String,Int](List(Right(123),Left("abc")))
@@ -142,7 +142,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
    * Example:
    * {{{
    * scala> import cats.data.EitherT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import scala.util.{Success, Failure, Try}
   
    * scala> val eitherT: EitherT[Try,String,Int] = EitherT[Try,String,Int](Success(Left("abc")))
@@ -156,7 +156,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val e1: EitherT[Option,String,Int] = EitherT[Option, String,Int](Some(Right(123)))
@@ -177,7 +177,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List,String,Int] =
@@ -200,7 +200,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List,String,Int] =
@@ -225,7 +225,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val e1: EitherT[Option, Unit, Int] = EitherT[Option, Unit, Int](Some(Right(123)))
@@ -254,7 +254,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List, String, Int] = EitherT[List, String, Int](List(Right(123), Left("abc")))
@@ -267,7 +267,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List, String, Int] = EitherT[List, String, Int](List(Right(123), Left("abc")))
@@ -284,7 +284,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List, String, Int] = EitherT[List, String, Int](List(Right(123), Left("abc")))
@@ -297,7 +297,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List, String, Int] = EitherT[List, String, Int](List(Right(123), Left("abc")))
@@ -310,7 +310,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val e1: EitherT[List, String, Int] = EitherT[List, String, Int](List(Right(123), Left("abc")))
@@ -335,7 +335,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val e1: EitherT[List, String, Int] = EitherT[List, String, Int](List(Right(123), Left("abc")))
@@ -360,7 +360,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List, String, Int] = EitherT[List, String, Int](List(Right(123), Left("abc")))
@@ -373,7 +373,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List, String, Int] = EitherT[List, String, Int](List(Right(123), Left("abc")))
@@ -390,7 +390,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List, String, Int] =
@@ -408,7 +408,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List, String, Int] =
@@ -487,7 +487,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    *
    * scala> val eitherT: EitherT[List, String, Int] = EitherT[List, String, Int](List(Left("abc"), Right(123)))
@@ -560,7 +560,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
    * Examples:
    * {{{
    * scala> import cats.data.EitherT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val l1: EitherT[Option, String, Int] = EitherT.left(Some("error 1"))
    * scala> val l2: EitherT[Option, String, Int] = EitherT.left(Some("error 2"))
    * scala> val r3: EitherT[Option, String, Int] = EitherT.right(Some(3))
@@ -624,7 +624,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> type Error = String
    * scala> val v1: Validated[NonEmptyList[Error], Int] = Validated.invalidNel("error 1")
    * scala> val v2: Validated[NonEmptyList[Error], Int] = Validated.invalidNel("error 2")
@@ -647,7 +647,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
    *
    * {{{
    * scala> import cats.data.EitherT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val ff: EitherT[List, String, Int => String] =
    *      |   EitherT(List(Either.right(_.toString), Either.left("error")))
    * scala> val fa: EitherT[List, String, Int] =
@@ -666,7 +666,7 @@ final case class EitherT[F[_], A, B](value: F[Either[A, B]]) {
    * Example:
    * {{{
    * scala> import cats.data.{EitherT, Validated}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val f: Int => String = i => (i*2).toString
    * scala> val r1: EitherT[Option, String, Int => String] = EitherT.right(Some(f))
    * r1: cats.data.EitherT[Option,String,Int => String] = EitherT(Some(Right(<function1>)))
@@ -721,7 +721,7 @@ object EitherT extends EitherTInstances {
    * Creates a left version of `EitherT[F, A, B]` from a `F[A]`
    * {{{
    * scala> import cats.data.EitherT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> EitherT.left[Int](Option("err"))
    * res0: cats.data.EitherT[Option,String,Int] = EitherT(Some(Left(err)))
    * }}}
@@ -739,7 +739,7 @@ object EitherT extends EitherTInstances {
    * Creates a left version of `EitherT[F, A, B]` from a `A`
    * {{{
    * scala> import cats.data.EitherT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> EitherT.leftT[Option, Int]("err")
    * res0: cats.data.EitherT[Option,String,Int] = EitherT(Some(Left(err)))
    * }}}
@@ -757,7 +757,7 @@ object EitherT extends EitherTInstances {
    * Creates a right version of `EitherT[F, A, B]` from a `F[B]`
    * {{{
    * scala> import cats.data.EitherT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> EitherT.right[String](Option(3))
    * res0: cats.data.EitherT[Option,String,Int] = EitherT(Some(Right(3)))
    * }}}
@@ -775,7 +775,7 @@ object EitherT extends EitherTInstances {
    * Creates a new `EitherT[F, A, B]` from a `B`
    * {{{
    * scala> import cats.data.EitherT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> EitherT.pure[Option, String](3)
    * res0: cats.data.EitherT[Option,String,Int] = EitherT(Some(Right(3)))
    * }}}
@@ -786,7 +786,7 @@ object EitherT extends EitherTInstances {
    * Alias for [[pure]]
    * {{{
    * scala> import cats.data.EitherT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> EitherT.rightT[Option, String](3)
    * res0: cats.data.EitherT[Option,String,Int] = EitherT(Some(Right(3)))
    * }}}
@@ -797,7 +797,7 @@ object EitherT extends EitherTInstances {
    * Alias for [[right]]
    * {{{
    * scala> import cats.data.EitherT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val o: Option[Int] = Some(3)
    * scala> val n: Option[Int] = None
    * scala> EitherT.liftF(o)
@@ -851,7 +851,7 @@ object EitherT extends EitherTInstances {
    * Note: The return type is a FromEitherPartiallyApplied[F], which has an apply method
    * on it, allowing you to call fromEither like this:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val t: Either[String, Int] = Either.right(3)
    * scala> EitherT.fromEither[Option](t)
    * res0: EitherT[Option, String, Int] = EitherT(Some(Right(3)))
@@ -873,7 +873,7 @@ object EitherT extends EitherTInstances {
    * Transforms an `Option` into an `EitherT`, lifted into the specified `Applicative` and using
    *  the second argument if the `Option` is a `None`.
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val o: Option[Int] = None
    * scala> EitherT.fromOption[List](o, "Answer not known.")
    * res0: EitherT[List, String, Int]  = EitherT(List(Left(Answer not known.)))
@@ -901,7 +901,7 @@ object EitherT extends EitherTInstances {
   /**
    * Transforms an `F[Option]` into an `EitherT`, using the second argument if the `Option` is a `None`.
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val o: Option[Int] = None
    * scala> EitherT.fromOptionF(List(o), "Answer not known.")
    * res0: EitherT[List, String, Int]  = EitherT(List(Left(Answer not known.)))
diff --git a/core/src/main/scala/cats/data/IndexedReaderWriterStateT.scala b/core/src/main/scala/cats/data/IndexedReaderWriterStateT.scala
index bcea138593..b766600431 100644
--- a/core/src/main/scala/cats/data/IndexedReaderWriterStateT.scala
+++ b/core/src/main/scala/cats/data/IndexedReaderWriterStateT.scala
@@ -48,7 +48,7 @@ final class IndexedReaderWriterStateT[F[_], E, L, SA, SB, A](val runF: F[(E, SA)
    * Modify the initial environment using `f`.
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> type Env = String
    * scala> type GlobalEnv = (Int, Env)
    * scala> type Log = List[String]
@@ -69,7 +69,7 @@ final class IndexedReaderWriterStateT[F[_], E, L, SA, SB, A](val runF: F[(E, SA)
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val x: IndexedReaderWriterStateT[Option, String, String, Int, Int, Unit] = IndexedReaderWriterStateT.tell("something")
    * scala> val y: IndexedReaderWriterStateT[Option, String, String, Int, Int, (Unit, String)] = x.listen
    * scala> y.run("environment", 17)
@@ -167,7 +167,7 @@ final class IndexedReaderWriterStateT[F[_], E, L, SA, SB, A](val runF: F[(E, SA)
    * Like [[transform]], but allows the context to change from `F` to `G`.
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> type ErrorOr[A] = Either[String, A]
    * scala> type Env = String
    * scala> type Log = List[String]
@@ -189,7 +189,7 @@ final class IndexedReaderWriterStateT[F[_], E, L, SA, SB, A](val runF: F[(E, SA)
    * Like [[transform]], but does it in the monadic context `F`.
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> type Env = String
    * scala> type Log = List[String]
    * scala> val xOpt0: IndexedReaderWriterStateT[Option, Env, Log, Int, Int, Int] = IndexedReaderWriterStateT.get
@@ -211,7 +211,7 @@ final class IndexedReaderWriterStateT[F[_], E, L, SA, SB, A](val runF: F[(E, SA)
    * Transform the state used. See [[StateT]] for more details.
    *
    * {{{
-   * scala> import cats.implicits._ // needed for StateT.apply
+   * scala> import cats.syntax.all._ // needed for StateT.apply
    * scala> type Env = String
    * scala> type Log = List[String]
    * scala> type S[SA, SB, A] = IndexedReaderWriterStateT[Option, Env, Log, SA, SB, A]
@@ -254,7 +254,7 @@ final class IndexedReaderWriterStateT[F[_], E, L, SA, SB, A](val runF: F[(E, SA)
    * Inspect a value from the environment and input state, without modifying the state.
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> type Env = String
    * scala> type Log = List[String]
    * scala> val xOpt: IndexedReaderWriterStateT[Option, Env, Log, Int, Int, Int] = IndexedReaderWriterStateT.get
diff --git a/core/src/main/scala/cats/data/IndexedStateT.scala b/core/src/main/scala/cats/data/IndexedStateT.scala
index 54c1986b68..3d8d68cd34 100644
--- a/core/src/main/scala/cats/data/IndexedStateT.scala
+++ b/core/src/main/scala/cats/data/IndexedStateT.scala
@@ -127,7 +127,7 @@ final class IndexedStateT[F[_], SA, SB, A](val runF: F[SA => F[(SB, A)]]) extend
    * Like [[transform]], but allows the context to change from `F` to `G`.
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> type ErrorOr[A] = Either[String, A]
    * scala> val xError: IndexedStateT[ErrorOr, Int, Int, Int] = IndexedStateT.get
    * scala> val xOpt: IndexedStateT[Option, Int, Int, Int] = xError.transformF(_.toOption)
@@ -150,7 +150,7 @@ final class IndexedStateT[F[_], SA, SB, A](val runF: F[SA => F[(SB, A)]]) extend
    * global state containing the various states needed for each individual `StateT`.
    *
    * {{{
-   * scala> import cats.implicits._ // needed for StateT.apply
+   * scala> import cats.syntax.all._ // needed for StateT.apply
    * scala> type GlobalEnv = (Int, String)
    * scala> val x: StateT[Option, Int, Double] = StateT((x: Int) => Option((x + 1, x.toDouble)))
    * scala> val xt: StateT[Option, GlobalEnv, Double] = x.transformS[GlobalEnv](_._1, (t, i) => (i, t._2))
diff --git a/core/src/main/scala/cats/data/Ior.scala b/core/src/main/scala/cats/data/Ior.scala
index 68379989a8..f7aaf6a093 100644
--- a/core/src/main/scala/cats/data/Ior.scala
+++ b/core/src/main/scala/cats/data/Ior.scala
@@ -50,7 +50,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val rightF: Int => String = _.show
    * scala> val bothF: (String,Int) => String = (a,b) => a.combine(b.show)
@@ -79,7 +79,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val ior1 = "abc".leftIor[Int]
    * scala> ior1.putLeft(true)
@@ -101,7 +101,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val ior1 = "abc".leftIor[Int]
    * scala> ior1.putRight(123L)
@@ -127,7 +127,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val ior1 = "abc".leftIor[Int]
    * scala> ior1.addLeft("def")
@@ -153,7 +153,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val ior1 = "abc".leftIor[Int]
    * scala> ior1.addRight(123)
@@ -175,7 +175,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].isLeft
    * res0: Boolean = true
@@ -209,7 +209,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].left
    * res0: Option[String] = Some(abc)
@@ -227,7 +227,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].right
    * res0: Option[Int] = None
@@ -250,7 +250,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].onlyLeft
    * res0: Option[String] = Some(abc)
@@ -268,7 +268,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].onlyRight
    * res0: Option[Int] = None
@@ -286,7 +286,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].onlyLeftOrRight
    * res0: Option[Either[String, Int]] = Some(Left(abc))
@@ -304,7 +304,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].onlyBoth
    * res0: Option[(String, Int)] = None
@@ -322,7 +322,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].pad
    * res0: (Option[String], Option[Int]) = (Some(abc),None)
@@ -340,7 +340,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].unwrap
    * res0: Either[Either[String, Int], (String, Int)] = Left(Left(abc))
@@ -359,7 +359,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].toIorNes
    * res0: IorNes[String, Int] = Left(TreeSet(abc))
@@ -379,7 +379,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].toIorNel
    * res0: IorNel[String, Int] = Left(NonEmptyList(abc))
@@ -397,7 +397,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].toEither
    * res0: Either[String, Int] = Left(abc)
@@ -415,7 +415,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].toValidated
    * res0: Validated[String, Int] = Invalid(abc)
@@ -433,7 +433,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].toOption
    * res0: Option[Int] = None
@@ -451,7 +451,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].toList
    * res0: List[Int] = List()
@@ -469,7 +469,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].to[List, Int]
    * res0: List[Int] = List()
@@ -488,7 +488,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].swap
    * res0: Ior[Int, String] = Right(abc)
@@ -506,7 +506,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].exists(_ > 100)
    * res0: Boolean = false
@@ -524,7 +524,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].forall(_ > 100)
    * res0: Boolean = true
@@ -542,7 +542,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].getOrElse(456)
    * res0: Int = 456
@@ -560,7 +560,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].valueOr(_.length)
    * res0: Int = 3
@@ -579,7 +579,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].bimap(_.length, identity)
    * res0: Ior[Int, Int] = Left(3)
@@ -598,7 +598,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].map(_ * 2)
    * res0: Ior[String, Int] = Left(abc)
@@ -616,7 +616,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].leftMap(_.length)
    * res0: Ior[Int, Int] = Left(3)
@@ -634,7 +634,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].flatMap(i => 456.rightIor[String])
    * res0: Ior[String, Int] = Left(abc)
@@ -671,7 +671,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * // Nothing to show
    * scala> "abc".leftIor[Int].foreach(println)
@@ -695,7 +695,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].traverse(i => List(i, i * 2))
    * res0: List[Ior[String,Int]] = List(Left(abc))
@@ -718,7 +718,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].foldLeft(List(456))((c,b) => b :: c)
    * res0: List[Int] = List(456)
@@ -749,7 +749,7 @@ sealed abstract class Ior[+A, +B] extends Product with Serializable {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "abc".leftIor[Int].combine("other".leftIor[Int])
    * res0: Ior[String, Int] = Left(abcother)
diff --git a/core/src/main/scala/cats/data/IorT.scala b/core/src/main/scala/cats/data/IorT.scala
index 9413017c10..45712b664f 100644
--- a/core/src/main/scala/cats/data/IorT.scala
+++ b/core/src/main/scala/cats/data/IorT.scala
@@ -70,7 +70,7 @@ final case class IorT[F[_], A, B](value: F[Ior[A, B]]) {
    * Example:
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import scala.util.{Success, Failure, Try}
 
    * scala> val iorT: IorT[Try,String,Int] = IorT.leftT("abc")
@@ -195,7 +195,7 @@ object IorT extends IorTInstances {
    * Creates a left version of `IorT[F, A, B]` from a `F[A]`
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> IorT.left[Int](Option("err"))
    * res0: cats.data.IorT[Option,String,Int] = IorT(Some(Left(err)))
    * }}}
@@ -213,7 +213,7 @@ object IorT extends IorTInstances {
    * Creates a left version of `IorT[F, A, B]` from a `A`
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> IorT.leftT[Option, Int]("err")
    * res0: cats.data.IorT[Option,String,Int] = IorT(Some(Left(err)))
    *
@@ -232,7 +232,7 @@ object IorT extends IorTInstances {
    * Creates a right version of `IorT[F, A, B]` from a `F[B]`
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> IorT.right[String](Option(3))
    * res0: cats.data.IorT[Option,String,Int] = IorT(Some(Right(3)))
    * }}}
@@ -243,7 +243,7 @@ object IorT extends IorTInstances {
    * Alias for [[pure]]
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> IorT.rightT[Option, String](3)
    * res0: cats.data.IorT[Option,String,Int] = IorT(Some(Right(3)))
    * }}}
@@ -254,7 +254,7 @@ object IorT extends IorTInstances {
    * Creates a both version of `IorT[F, A, B]` from a `F[A]` and a `F[B]`
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> IorT.both(Option("err"), Option(3))
    * res0: cats.data.IorT[Option,String,Int] = IorT(Some(Both(err,3)))
    * }}}
@@ -273,7 +273,7 @@ object IorT extends IorTInstances {
    * Creates a both version of `IorT[F, A, B]` from a `A` and a `B`
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> IorT.bothT[Option]("err", 3)
    * res0: cats.data.IorT[Option,String,Int] = IorT(Some(Both(err,3)))
    * }}}
@@ -291,7 +291,7 @@ object IorT extends IorTInstances {
    * Creates a right version of `IorT[F, A, B]` from a `B`
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> IorT.pure[Option, String](3)
    * res0: cats.data.IorT[Option,String,Int] = IorT(Some(Right(3)))
    * }}}
@@ -302,7 +302,7 @@ object IorT extends IorTInstances {
    * Alias for [[right]]
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val o: Option[Int] = Some(3)
    * scala> val n: Option[Int] = None
    * scala> IorT.liftF(o)
@@ -339,7 +339,7 @@ object IorT extends IorTInstances {
    * Transforms an `Ior` into an `IorT`, lifted into the specified `Applicative`.
    * {{{
    * scala> import cats.data.{IorT, Ior}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val i: Ior[String, Int] = Ior.both("warning", 3)
    * scala> IorT.fromIor[Option](i)
    * res0: cats.data.IorT[Option,String,Int] = IorT(Some(Both(warning,3)))
@@ -359,7 +359,7 @@ object IorT extends IorTInstances {
    * Transforms an `Either` into an `IorT`, lifted into the specified `Applicative`.
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val e: Either[String, Int] = Either.right(3)
    * scala> IorT.fromEither[Option](e)
    * res0: cats.data.IorT[Option,String,Int] = IorT(Some(Right(3)))
@@ -371,7 +371,7 @@ object IorT extends IorTInstances {
    * Transforms an `F[Either]` into an `IorT`.
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val e: Either[String, Int] = Either.right(3)
    * scala> IorT.fromEitherF(Option(e))
    * res0: cats.data.IorT[Option,String,Int] = IorT(Some(Right(3)))
@@ -393,7 +393,7 @@ object IorT extends IorTInstances {
    * the second argument if the `Option` is a `None`.
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val o: Option[Int] = None
    * scala> IorT.fromOption[List](o, "Answer not known.")
    * res0: cats.data.IorT[List,String,Int] = IorT(List(Left(Answer not known.)))
@@ -407,7 +407,7 @@ object IorT extends IorTInstances {
    * Transforms an `F[Option]` into an `IorT`, using the second argument if the `Option` is a `None`.
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val o: Option[Int] = None
    * scala> IorT.fromOptionF(List(o), "Answer not known.")
    * res0: cats.data.IorT[List,String,Int]  = IorT(List(Left(Answer not known.)))
@@ -442,7 +442,7 @@ object IorT extends IorTInstances {
    * `A` in `Ior.Left`, lifted into the specified `Applicative`.
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val userInput = "hello world"
    * scala> IorT.cond[Option](
    *      |   userInput.forall(_.isDigit) && userInput.size == 10,
@@ -458,7 +458,7 @@ object IorT extends IorTInstances {
    * value of `IorT.left` on `F[A]`.
    * {{{
    * scala> import cats.data.IorT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val userInput = "hello world"
    * scala> IorT.condF[Option, String, String](
    *      |   userInput.forall(_.isDigit) && userInput.size == 10,
diff --git a/core/src/main/scala/cats/data/Nested.scala b/core/src/main/scala/cats/data/Nested.scala
index b92399c418..2786aa89c0 100644
--- a/core/src/main/scala/cats/data/Nested.scala
+++ b/core/src/main/scala/cats/data/Nested.scala
@@ -32,7 +32,7 @@ package data
  * {{{
  * scala> import cats.Functor
  * scala> import cats.data.Nested
- * scala> import cats.implicits._
+ * scala> import cats.syntax.all._
  * scala> val listOption: List[Option[Int]] = List(Some(1), None)
  * scala> val f: Int => String = i => (i * 2).toString
  * scala> Functor[List].map(listOption)(opt => opt.map(f))
diff --git a/core/src/main/scala/cats/data/NonEmptyChain.scala b/core/src/main/scala/cats/data/NonEmptyChain.scala
index 19260167ed..3742a92268 100644
--- a/core/src/main/scala/cats/data/NonEmptyChain.scala
+++ b/core/src/main/scala/cats/data/NonEmptyChain.scala
@@ -239,7 +239,7 @@ class NonEmptyChainOps[A](private val value: NonEmptyChain[A])
    * Tests if some element is contained in this chain.
    * {{{
    * scala> import cats.data.NonEmptyChain
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nec = NonEmptyChain(4, 5, 6)
    * scala> nec.contains(5)
    * res0: Boolean = true
@@ -266,7 +266,7 @@ class NonEmptyChainOps[A](private val value: NonEmptyChain[A])
    * Returns a new `Chain` containing all elements where the result of `pf` is final defined.
    * {{{
    * scala> import cats.data.NonEmptyChain
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nec = NonEmptyChain(4, 5, 6).map(n => if (n % 2 == 0) Some(n) else None)
    * scala> nec.collect { case Some(n) => n }
    * res0: cats.data.Chain[Int] = Chain(4, 6)
@@ -417,7 +417,7 @@ class NonEmptyChainOps[A](private val value: NonEmptyChain[A])
    *
    * {{{
    * scala> import cats.data.{NonEmptyChain, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nec = NonEmptyChain(12, -2, 3, -5)
    * scala> val expectedResult = NonEmptyMap.of(false -> NonEmptyChain(-2, -5), true -> NonEmptyChain(12, 3))
    * scala> val result = nec.groupBy(_ >= 0)
@@ -433,7 +433,7 @@ class NonEmptyChainOps[A](private val value: NonEmptyChain[A])
    *
    * {{{
    * scala> import cats.data.NonEmptyChain
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyChain.of(12, -2, 3, -5)
    * scala> val expectedResult = List(NonEmptyChain.of(12, -2), NonEmptyChain.of(3, -5))
    * scala> val result = nel.grouped(2)
@@ -452,7 +452,7 @@ class NonEmptyChainOps[A](private val value: NonEmptyChain[A])
    *
    * {{{
    * scala> import cats.data.{NonEmptyChain, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nec = NonEmptyChain(12, -2, 3, -5)
    * scala> val expectedResult = NonEmptyMap.of(false -> NonEmptyChain(-2, -5), true -> NonEmptyChain(12, 3))
    * scala> val result = nec.groupByNem(_ >= 0)
@@ -471,7 +471,7 @@ class NonEmptyChainOps[A](private val value: NonEmptyChain[A])
    *
    * {{{
    * scala> import cats.data.{NonEmptyChain, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nec = NonEmptyChain(12, -2, 3, -5)
    * scala> val expectedResult = NonEmptyMap.of(false -> NonEmptyChain("-2", "-5"), true -> NonEmptyChain("12", "3"))
    * scala> val result = nec.groupMap(_ >= 0)(_.toString)
@@ -490,7 +490,7 @@ class NonEmptyChainOps[A](private val value: NonEmptyChain[A])
    *
    * {{{
    * scala> import cats.data.{NonEmptyChain, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nec = NonEmptyChain(12, -2, 3, -5)
    * scala> val expectedResult = NonEmptyMap.of(false -> NonEmptyChain("-2", "-5"), true -> NonEmptyChain("12", "3"))
    * scala> val result = nec.groupMapNem(_ >= 0)(_.toString)
@@ -511,7 +511,7 @@ class NonEmptyChainOps[A](private val value: NonEmptyChain[A])
    *
    * {{{
    * scala> import cats.data.{NonEmptyChain, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nec = NonEmptyChain("Hello", "World", "Goodbye", "World")
    * scala> val expectedResult = NonEmptyMap.of("goodbye" -> 1, "hello" -> 1, "world" -> 2)
    * scala> val result = nec.groupMapReduce(_.trim.toLowerCase)(_ => 1)
@@ -532,7 +532,7 @@ class NonEmptyChainOps[A](private val value: NonEmptyChain[A])
    *
    * {{{
    * scala> import cats.data.{NonEmptyChain, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nec = NonEmptyChain("Hello", "World", "Goodbye", "World")
    * scala> val expectedResult = NonEmptyMap.of("goodbye" -> 1, "hello" -> 1, "world" -> 2)
    * scala> val result = nec.groupMapReduceNem(_.trim.toLowerCase)(_ => 1)
@@ -553,7 +553,7 @@ class NonEmptyChainOps[A](private val value: NonEmptyChain[A])
    *
    * {{{
    * scala> import cats.data.{NonEmptyChain, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nec = NonEmptyChain("Hello", "World", "Goodbye", "World")
    * scala> val expectedResult = NonEmptyMap.of("goodbye" -> 1, "hello" -> 1, "world" -> 2)
    * scala> val result = nec.groupMapReduceWith(_.trim.toLowerCase)(_ => 1)(_ + _)
@@ -576,7 +576,7 @@ class NonEmptyChainOps[A](private val value: NonEmptyChain[A])
    *
    * {{{
    * scala> import cats.data.{NonEmptyChain, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nec = NonEmptyChain("Hello", "World", "Goodbye", "World")
    * scala> val expectedResult = NonEmptyMap.of("goodbye" -> 1, "hello" -> 1, "world" -> 2)
    * scala> val result = nec.groupMapReduceWithNem(_.trim.toLowerCase)(_ => 1)(_ + _)
diff --git a/core/src/main/scala/cats/data/NonEmptyList.scala b/core/src/main/scala/cats/data/NonEmptyList.scala
index 8a4b41a3a0..c64bd87ca6 100644
--- a/core/src/main/scala/cats/data/NonEmptyList.scala
+++ b/core/src/main/scala/cats/data/NonEmptyList.scala
@@ -470,7 +470,7 @@ final case class NonEmptyList[+A](head: A, tail: List[A]) extends NonEmptyCollec
    * {{{
    * scala> import scala.collection.immutable.SortedMap
    * scala> import cats.data.NonEmptyList
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyList.of(12, -2, 3, -5)
    * scala> val expectedResult = SortedMap(false -> NonEmptyList.of(-2, -5), true -> NonEmptyList.of(12, 3))
    * scala> val result = nel.groupBy(_ >= 0)
@@ -487,7 +487,7 @@ final case class NonEmptyList[+A](head: A, tail: List[A]) extends NonEmptyCollec
    *
    * {{{
    * scala> import cats.data.{NonEmptyList, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyList.of(12, -2, 3, -5)
    * scala> val expectedResult = NonEmptyMap.of(false -> NonEmptyList.of(-2, -5), true -> NonEmptyList.of(12, 3))
    * scala> val result = nel.groupByNem(_ >= 0)
@@ -507,7 +507,7 @@ final case class NonEmptyList[+A](head: A, tail: List[A]) extends NonEmptyCollec
    * {{{
    * scala> import scala.collection.immutable.SortedMap
    * scala> import cats.data.NonEmptyList
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyList.of(12, -2, 3, -5)
    * scala> val expectedResult = SortedMap(false -> NonEmptyList.of("-2", "-5"), true -> NonEmptyList.of("12", "3"))
    * scala> val result = nel.groupMap(_ >= 0)(_.toString)
@@ -541,7 +541,7 @@ final case class NonEmptyList[+A](head: A, tail: List[A]) extends NonEmptyCollec
    *
    * {{{
    * scala> import cats.data.{NonEmptyList, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyList.of(12, -2, 3, -5)
    * scala> val expectedResult = NonEmptyMap.of(false -> NonEmptyList.of("-2", "-5"), true -> NonEmptyList.of("12", "3"))
    * scala> val result = nel.groupMapNem(_ >= 0)(_.toString)
@@ -563,7 +563,7 @@ final case class NonEmptyList[+A](head: A, tail: List[A]) extends NonEmptyCollec
    * {{{
    * scala> import scala.collection.immutable.SortedMap
    * scala> import cats.data.NonEmptyList
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyList.of("Hello", "World", "Goodbye", "World")
    * scala> val expectedResult = SortedMap("goodbye" -> 1, "hello" -> 1, "world" -> 2)
    * scala> val result = nel.groupMapReduce(_.trim.toLowerCase)(_ => 1)
@@ -584,7 +584,7 @@ final case class NonEmptyList[+A](head: A, tail: List[A]) extends NonEmptyCollec
    *
    * {{{
    * scala> import cats.data.{NonEmptyList, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyList.of("Hello", "World", "Goodbye", "World")
    * scala> val expectedResult = NonEmptyMap.of("goodbye" -> 1, "hello" -> 1, "world" -> 2)
    * scala> val result = nel.groupMapReduceNem(_.trim.toLowerCase)(_ => 1)
@@ -606,7 +606,7 @@ final case class NonEmptyList[+A](head: A, tail: List[A]) extends NonEmptyCollec
    * {{{
    * scala> import scala.collection.immutable.SortedMap
    * scala> import cats.data.NonEmptyList
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyList.of("Hello", "World", "Goodbye", "World")
    * scala> val expectedResult = SortedMap("goodbye" -> 1, "hello" -> 1, "world" -> 2)
    * scala> val result = nel.groupMapReduceWith(_.trim.toLowerCase)(_ => 1)(_ + _)
@@ -640,7 +640,7 @@ final case class NonEmptyList[+A](head: A, tail: List[A]) extends NonEmptyCollec
    *
    * {{{
    * scala> import cats.data.{NonEmptyList, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyList.of("Hello", "World", "Goodbye", "World")
    * scala> val expectedResult = NonEmptyMap.of("goodbye" -> 1, "hello" -> 1, "world" -> 2)
    * scala> val result = nel.groupMapReduceWithNem(_.trim.toLowerCase)(_ => 1)(_ + _)
@@ -658,7 +658,7 @@ final case class NonEmptyList[+A](head: A, tail: List[A]) extends NonEmptyCollec
    *
    * {{{
    * scala> import cats.data.NonEmptyList
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyList.of(12, -2, 3, -5)
    * scala> val expectedResult = List(NonEmptyList.of(12, -2), NonEmptyList.of(3, -5))
    * scala> val result = nel.grouped(2)
@@ -675,7 +675,7 @@ final case class NonEmptyList[+A](head: A, tail: List[A]) extends NonEmptyCollec
    * Creates new `NonEmptyMap`, similarly to List#toMap from scala standard library.
    * {{{
    * scala> import cats.data.{NonEmptyList, NonEmptyMap}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyList((0, "a"), List((1, "b"),(0, "c"), (2, "d")))
    * scala> val expectedResult = NonEmptyMap.of(0 -> "c", 1 -> "b", 2 -> "d")
    * scala> val result = nel.toNem
diff --git a/core/src/main/scala/cats/data/NonEmptySeq.scala b/core/src/main/scala/cats/data/NonEmptySeq.scala
index 1919394764..a185b5a5a8 100644
--- a/core/src/main/scala/cats/data/NonEmptySeq.scala
+++ b/core/src/main/scala/cats/data/NonEmptySeq.scala
@@ -286,7 +286,7 @@ final class NonEmptySeq[+A] private (val toSeq: Seq[A]) extends AnyVal with NonE
    * {{{
    * scala> import scala.collection.immutable.SortedMap
    * scala> import cats.data.NonEmptySeq
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val neSeq = NonEmptySeq.of(12, -2, 3, -5)
    * scala> val expectedResult = SortedMap(false -> NonEmptySeq.of(-2, -5), true -> NonEmptySeq.of(12, 3))
    * scala> val result = neSeq.groupBy(_ >= 0)
@@ -318,7 +318,7 @@ final class NonEmptySeq[+A] private (val toSeq: Seq[A]) extends AnyVal with NonE
    *
    * {{{
    * scala> import cats.data.{NonEmptyMap, NonEmptySeq}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptySeq.of(12, -2, 3, -5)
    * scala> val expectedResult = NonEmptyMap.of(false -> NonEmptySeq.of(-2, -5), true -> NonEmptySeq.of(12, 3))
    * scala> val result = nel.groupByNem(_ >= 0)
@@ -334,7 +334,7 @@ final class NonEmptySeq[+A] private (val toSeq: Seq[A]) extends AnyVal with NonE
    *
    * {{{
    * scala> import cats.data.NonEmptySeq
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptySeq.of(12, -2, 3, -5)
    * scala> val expectedResult = List(NonEmptySeq.of(12, -2), NonEmptySeq.of(3, -5))
    * scala> val result = nel.grouped(2)
@@ -351,7 +351,7 @@ final class NonEmptySeq[+A] private (val toSeq: Seq[A]) extends AnyVal with NonE
    * Creates new `NonEmptyMap`, similarly to List#toMap from scala standard library.
    * {{{
    * scala> import cats.data.{NonEmptyMap, NonEmptySeq}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import scala.collection.immutable.Seq
    * scala> val neSeq = NonEmptySeq((0, "a"), Seq((1, "b"),(0, "c"), (2, "d")))
    * scala> val expectedResult = NonEmptyMap.of(0 -> "c", 1 -> "b", 2 -> "d")
diff --git a/core/src/main/scala/cats/data/NonEmptySet.scala b/core/src/main/scala/cats/data/NonEmptySet.scala
index 69569537ed..ad5e5b3dc2 100644
--- a/core/src/main/scala/cats/data/NonEmptySet.scala
+++ b/core/src/main/scala/cats/data/NonEmptySet.scala
@@ -81,7 +81,7 @@ sealed class NonEmptySetOps[A](val value: NonEmptySet[A]) {
    * Alias for [[union]]
    * {{{
    * scala> import cats.data.NonEmptySet
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nes = NonEmptySet.of(1, 2, 4, 5)
    * scala> nes ++ NonEmptySet.of(1, 2, 7)
    * res0: cats.data.NonEmptySet[Int] = TreeSet(1, 2, 4, 5, 7)
@@ -93,7 +93,7 @@ sealed class NonEmptySetOps[A](val value: NonEmptySet[A]) {
    * Alias for [[union]]
    * {{{
    * scala> import cats.data.NonEmptySet
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nes = NonEmptySet.of(1, 2, 4, 5)
    * scala> nes | NonEmptySet.of(1, 2, 7)
    * res0: cats.data.NonEmptySet[Int] = TreeSet(1, 2, 4, 5, 7)
@@ -105,7 +105,7 @@ sealed class NonEmptySetOps[A](val value: NonEmptySet[A]) {
    * Alias for [[diff]]
    * {{{
    * scala> import cats.data.NonEmptySet
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nes = NonEmptySet.of(1, 2, 4, 5)
    * scala> nes -- NonEmptySet.of(1, 2, 7)
    * res0: scala.collection.immutable.SortedSet[Int] = TreeSet(4, 5)
@@ -117,7 +117,7 @@ sealed class NonEmptySetOps[A](val value: NonEmptySet[A]) {
    * Alias for [[diff]]
    * {{{
    * scala> import cats.data.NonEmptySet
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nes = NonEmptySet.of(1, 2, 4, 5)
    * scala> nes &~ NonEmptySet.of(1, 2, 7)
    * res0: scala.collection.immutable.SortedSet[Int] = TreeSet(4, 5)
@@ -129,7 +129,7 @@ sealed class NonEmptySetOps[A](val value: NonEmptySet[A]) {
    * Alias for [[intersect]]
    * {{{
    * scala> import cats.data.NonEmptySet
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nes = NonEmptySet.of(1, 2, 4, 5)
    * scala> nes & NonEmptySet.of(1, 2, 7)
    * res0: scala.collection.immutable.SortedSet[Int] = TreeSet(1, 2)
@@ -154,7 +154,7 @@ sealed class NonEmptySetOps[A](val value: NonEmptySet[A]) {
    * Converts this set to a `NonEmptyList`.
    * {{{
    * scala> import cats.data.NonEmptySet
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nes = NonEmptySet.of(1, 2, 3, 4, 5)
    * scala> nes.toNonEmptyList
    * res0: cats.data.NonEmptyList[Int] = NonEmptyList(1, 2, 3, 4, 5)
@@ -181,7 +181,7 @@ sealed class NonEmptySetOps[A](val value: NonEmptySet[A]) {
    * Alias for [[contains]]
    * {{{
    * scala> import cats.data.NonEmptySet
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nes = NonEmptySet.of(1, 2, 3, 4, 5)
    * scala> nes(3)
    * res0: Boolean = true
@@ -297,7 +297,7 @@ sealed class NonEmptySetOps[A](val value: NonEmptySet[A]) {
    * Map a function over all the elements of this set and concatenate the resulting sets into one.
    * {{{
    * scala> import cats.data.NonEmptySet
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nes = NonEmptySet.of(1, 2, 3)
    * scala> nes.concatMap(n => NonEmptySet.of(n, n * 4, n * 5))
    * res0: cats.data.NonEmptySet[Int] = TreeSet(1, 2, 3, 4, 5, 8, 10, 12, 15)
@@ -339,7 +339,7 @@ sealed class NonEmptySetOps[A](val value: NonEmptySet[A]) {
    *
    * {{{
    * scala> import cats.data.NonEmptySet
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val as = NonEmptySet.of(1, 2, 3)
    * scala> val bs = NonEmptySet.of("A", "B", "C")
    * scala> as.zipWith(bs)(_.toString + _)
diff --git a/core/src/main/scala/cats/data/NonEmptyVector.scala b/core/src/main/scala/cats/data/NonEmptyVector.scala
index a3c10d6517..583dd63612 100644
--- a/core/src/main/scala/cats/data/NonEmptyVector.scala
+++ b/core/src/main/scala/cats/data/NonEmptyVector.scala
@@ -293,7 +293,7 @@ final class NonEmptyVector[+A] private (val toVector: Vector[A])
    * {{{
    * scala> import scala.collection.immutable.SortedMap
    * scala> import cats.data.NonEmptyVector
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nev = NonEmptyVector.of(12, -2, 3, -5)
    * scala> val expectedResult = SortedMap(false -> NonEmptyVector.of(-2, -5), true -> NonEmptyVector.of(12, 3))
    * scala> val result = nev.groupBy(_ >= 0)
@@ -325,7 +325,7 @@ final class NonEmptyVector[+A] private (val toVector: Vector[A])
    *
    * {{{
    * scala> import cats.data.{NonEmptyMap, NonEmptyVector}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyVector.of(12, -2, 3, -5)
    * scala> val expectedResult = NonEmptyMap.of(false -> NonEmptyVector.of(-2, -5), true -> NonEmptyVector.of(12, 3))
    * scala> val result = nel.groupByNem(_ >= 0)
@@ -341,7 +341,7 @@ final class NonEmptyVector[+A] private (val toVector: Vector[A])
    *
    * {{{
    * scala> import cats.data.NonEmptyVector
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nel = NonEmptyVector.of(12, -2, 3, -5)
    * scala> val expectedResult = List(NonEmptyVector.of(12, -2), NonEmptyVector.of(3, -5))
    * scala> val result = nel.grouped(2)
@@ -358,7 +358,7 @@ final class NonEmptyVector[+A] private (val toVector: Vector[A])
    * Creates new `NonEmptyMap`, similarly to List#toMap from scala standard library.
    * {{{
    * scala> import cats.data.{NonEmptyMap, NonEmptyVector}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val nev = NonEmptyVector((0, "a"), Vector((1, "b"),(0, "c"), (2, "d")))
    * scala> val expectedResult = NonEmptyMap.of(0 -> "c", 1 -> "b", 2 -> "d")
    * scala> val result = nev.toNem
diff --git a/core/src/main/scala/cats/data/Validated.scala b/core/src/main/scala/cats/data/Validated.scala
index f67ea8d799..84ab124c19 100644
--- a/core/src/main/scala/cats/data/Validated.scala
+++ b/core/src/main/scala/cats/data/Validated.scala
@@ -33,7 +33,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1= "error".invalid[Option[String]]
    * scala> val v2= Some("abc").valid[String]
@@ -54,7 +54,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val validated= "error".invalid[Unit]
    * scala> validated.isValid
@@ -70,7 +70,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val validated= "error".invalid[Unit]
    * scala> validated.isInvalid
@@ -97,7 +97,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1= "error".invalid[Int]
    * scala> val v2= 123.valid[String]
@@ -119,7 +119,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    * Return the Valid value, or the result of f if Invalid
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = Some("exception").invalid[String]
    * scala> val v2 = "OK".valid[Option[String]]
@@ -142,7 +142,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = List("error").invalid[Int]
    * scala> val v2 = 123.valid[List[String]]
@@ -165,7 +165,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = Some("error").invalid[Int]
    * scala> val v2 = 123.valid[Option[String]]
@@ -190,7 +190,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = Some("error").invalid[Int]
    * scala> val v2 = 123.valid[Option[String]]
@@ -215,7 +215,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = List("error1").invalid[Int]
    * scala> val v2 = 123.valid[List[String]]
@@ -247,7 +247,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -270,7 +270,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = List("error").invalid[Int]
    * scala> val v2 = 123.valid[List[String]]
@@ -293,7 +293,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -317,7 +317,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = Some("error").invalid[Int]
    * scala> val v2 = 123.valid[Option[String]]
@@ -340,7 +340,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -363,7 +363,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -387,7 +387,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -408,7 +408,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1: Validated[String, Int] = "error".invalid[Int]
    * scala> val v2: Validated[String, Int] = 123.valid[String]
@@ -429,7 +429,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = "error2".invalid[Int]
@@ -474,7 +474,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = "error".invalid[Int]
@@ -504,7 +504,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -530,7 +530,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.ValidatedNec
    *
    * scala> val v1 = "error".invalidNec[Int]
@@ -562,7 +562,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -586,7 +586,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -612,7 +612,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -645,7 +645,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -669,7 +669,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.Eval
    *
    * scala> val v1 = "error".invalid[Int]
@@ -709,7 +709,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -736,7 +736,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalidNel[List[Int]]
    * scala> val v2 = "error2".invalidNel[List[Int]]
@@ -766,7 +766,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = "error".invalid[Int]
    * scala> val v2 = 123.valid[String]
@@ -787,7 +787,7 @@ sealed abstract class Validated[+E, +A] extends Product with Serializable {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val v1 = Seq("error").invalid[List[String]]
    * scala> val v2 = List("Ok").valid[Seq[String]]
diff --git a/core/src/main/scala/cats/data/WriterT.scala b/core/src/main/scala/cats/data/WriterT.scala
index 80af484a15..c9acca8505 100644
--- a/core/src/main/scala/cats/data/WriterT.scala
+++ b/core/src/main/scala/cats/data/WriterT.scala
@@ -31,7 +31,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer = WriterT.liftF[Option, List[String], Int](Some(123))
    * scala> writer.tell(List("a","b","c")).tell(List("d","e","f"))
@@ -45,7 +45,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer: WriterT[Option, List[String], Int] = WriterT.liftF(Some(123))
    * scala> writer.tell(List("a","b","c")).written.getOrElse(Nil)
@@ -59,7 +59,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer: WriterT[Option, List[String], Int] = WriterT.liftF(Some(123))
    * scala> val wt: WriterT[Option, List[String], Int] = writer.tell(List("error"))
@@ -76,7 +76,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer: WriterT[Option, String, Int] = WriterT.liftF(Some(123))
    * scala> val wt: WriterT[Option, String, Int] = writer.tell("error").tell(" log")
@@ -95,7 +95,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer: WriterT[Option, String, Int] = WriterT.liftF(Some(123))
    * scala> val wt: WriterT[Option, String, Int] = writer.tell("error")
@@ -117,7 +117,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val wr1: WriterT[Option, String, Int] = WriterT.liftF(None)
    * scala> val wr2 = wr1.tell("error")
@@ -143,7 +143,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val wr1: WriterT[Option, String, Int] = WriterT.liftF(Some(123))
    * scala> val wr2 = wr1.tell("log...")
@@ -163,7 +163,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * {{{
    * scala> import cats.data.WriterT
    * scala> import cats.arrow.FunctionK
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val optionWriter = WriterT.liftF[Option, String, Int](Some(123)).tell("log")
    * res0: WriterT[Option, String, Int](Some((log,123)))
@@ -187,7 +187,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val wr1 = WriterT.liftF[Option, String, Int](Some(123)).tell("error")
    * res0: WriterT[Option, String, Int] = WriterT(Some(error,123))
@@ -210,7 +210,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val wr1 = WriterT.liftF[Option, String, Int](Some(123)).tell("quack")
    * res0: WriterT[Option, String, Int] = WriterT(Some(quack,123))
@@ -226,7 +226,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val wr1 = WriterT.liftF[Option, String, Int](Some(123)).tell("456")
    * res0: WriterT[Option, String, Int] = WriterT(Some(456,123))
@@ -242,7 +242,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer = WriterT.liftF[Option, String, Int](Some(246)).tell("error")
    * res0: WriterT[Option, String, Int] = WriterT(Some((error,246)))
@@ -258,7 +258,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer = WriterT.liftF[Option, String, Int](Some(123)).tell("log")
    * scala> writer.swap
@@ -272,7 +272,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer = WriterT.liftF[Option, String, Int](Some(123)).tell("error")
    * scala> writer.reset
@@ -286,7 +286,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer = WriterT.liftF[Option, String, Int](Some(456)).tell("log...")
    * scala> writer.show
@@ -299,7 +299,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer = WriterT.liftF[Option, String, Int](Some(123)).tell("hi")
    * scala> writer.foldLeft(456)((acc,v) => acc + v)
@@ -314,7 +314,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * {{{
    * scala> import cats.data.WriterT
    * scala> import cats.Eval
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer = WriterT.liftF[Option, String, Int](Some(123)).tell("hi")
    * scala> writer
@@ -330,7 +330,7 @@ final case class WriterT[F[_], L, V](run: F[(L, V)]) {
    * Example:
    * {{{
    * scala> import cats.data.WriterT
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val writer = WriterT.liftF[Option, String, Int](Some(123)).tell("hi")
    * scala> writer.traverse[List,Int](i => List(i))
diff --git a/core/src/main/scala/cats/instances/map.scala b/core/src/main/scala/cats/instances/map.scala
index cb50d36057..6023e1a2bf 100644
--- a/core/src/main/scala/cats/instances/map.scala
+++ b/core/src/main/scala/cats/instances/map.scala
@@ -138,7 +138,7 @@ private[instances] trait MapInstancesBinCompat0 {
      * Compose two maps `g` and `f` by using the values in `f` as keys for `g`.
      * {{{
      * scala> import cats.arrow.Compose
-     * scala> import cats.implicits._
+     * scala> import cats.syntax.all._
      * scala> val first = Map(1 -> "a", 2 -> "b", 3 -> "c", 4 -> "a")
      * scala> val second = Map("a" -> true, "b" -> false, "d" -> true)
      * scala> Compose[Map].compose(second, first)
diff --git a/core/src/main/scala/cats/syntax/TrySyntax.scala b/core/src/main/scala/cats/syntax/TrySyntax.scala
index 1bb41065b9..c0632e3c5b 100644
--- a/core/src/main/scala/cats/syntax/TrySyntax.scala
+++ b/core/src/main/scala/cats/syntax/TrySyntax.scala
@@ -37,7 +37,7 @@ final class TryOps[A](private val self: Try[A]) extends AnyVal {
    * lift the `try` into a `F[_]` with `ApplicativeThrow[F]` instance
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import util.Try
    *
    * scala> val s: Try[Int] = Try(3)
diff --git a/core/src/main/scala/cats/syntax/alternative.scala b/core/src/main/scala/cats/syntax/alternative.scala
index c9f7a1a4c8..a844042479 100644
--- a/core/src/main/scala/cats/syntax/alternative.scala
+++ b/core/src/main/scala/cats/syntax/alternative.scala
@@ -48,7 +48,7 @@ sealed private[syntax] trait UniteOpsBinCompat0[F[_], G[_], A] extends Any { sel
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val x: List[Vector[Int]] = List(Vector(1, 2), Vector(3, 4))
    * scala> x.unite
    * res0: List[Int] = List(1, 2, 3, 4)
@@ -71,7 +71,7 @@ final class SeparateOps[F[_], G[_, _], A, B](protected val fgab: F[G[A, B]])
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val l: List[Either[String, Int]] = List(Right(1), Left("error"))
    * scala> l.separateFoldable
    * res0: (List[String], List[Int]) = (List(error),List(1))
@@ -88,7 +88,7 @@ sealed private[syntax] trait SeparateOpsBinCompat0[F[_], G[_, _], A, B] extends
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val l: List[Either[String, Int]] = List(Right(1), Left("error"))
    * scala> l.separate
    * res0: (List[String], List[Int]) = (List(error),List(1))
@@ -105,7 +105,7 @@ final class GuardOps(private val condition: Boolean) extends AnyVal {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> def even(i: Int): Option[String] = (i % 2 == 0).guard[Option].as("even")
    * scala> even(2)
    * res0: Option[String] = Some(even)
diff --git a/core/src/main/scala/cats/syntax/bitraverse.scala b/core/src/main/scala/cats/syntax/bitraverse.scala
index 6cf116c3eb..9980880fa6 100644
--- a/core/src/main/scala/cats/syntax/bitraverse.scala
+++ b/core/src/main/scala/cats/syntax/bitraverse.scala
@@ -63,7 +63,7 @@ final private[syntax] class BitraverseOpsBinCompat0[F[_, _], A, B](val fab: F[A,
    *
    *  Example:
    *  {{{
-   *  scala> import cats.implicits._
+   *  scala> import cats.syntax.all._
    *
    *  scala> val intAndString: (Int, String) = (7, "test")
    *
@@ -86,7 +86,7 @@ final class LeftNestedBitraverseOps[F[_, _], G[_], A, B](val fgab: F[G[A], B]) e
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val optionalErrorRight: Either[Option[String], Int] = Either.right(123)
    * scala> optionalErrorRight.leftSequence
diff --git a/core/src/main/scala/cats/syntax/either.scala b/core/src/main/scala/cats/syntax/either.scala
index 9dc8e4a1ea..98872e421c 100644
--- a/core/src/main/scala/cats/syntax/either.scala
+++ b/core/src/main/scala/cats/syntax/either.scala
@@ -282,7 +282,7 @@ final class EitherOps[A, B](private val eab: Either[A, B]) extends AnyVal {
    *
    * Examples:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val l1: Either[String, Int] = Either.left("error 1")
    * scala> val l2: Either[String, Int] = Either.left("error 2")
    * scala> val r3: Either[String, Int] = Either.right(3)
@@ -323,7 +323,7 @@ final class EitherOps[A, B](private val eab: Either[A, B]) extends AnyVal {
    * Transform the `Either` into a [[cats.data.EitherT]] while lifting it into the specified Applicative.
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val e: Either[String, Int] = Right(3)
    * scala> e.toEitherT[Option]
    * res0: cats.data.EitherT[Option, String, Int] = EitherT(Some(Right(3)))
@@ -345,7 +345,7 @@ final class EitherOps[A, B](private val eab: Either[A, B]) extends AnyVal {
    * lift the `Either` into a `F[_]` with `ApplicativeError[F, A]` instance
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> import cats.data.EitherT
    * scala> val e: Either[String, Int] = Right(3)
    * scala> e.liftTo[EitherT[Option, CharSequence, *]]
@@ -378,7 +378,7 @@ final class EitherObjectOps(private val either: Either.type) extends AnyVal {
    *
    * For example:
    * {{{
-   * scala> import cats.implicits._ // get syntax for Either
+   * scala> import cats.syntax.all._ // get syntax for Either
    * scala> Either.catchOnly[NumberFormatException] { "foo".toInt }
    * res0: Either[NumberFormatException, Int] = Left(java.lang.NumberFormatException: For input string: "foo")
    * }}}
@@ -451,7 +451,7 @@ final class EitherIdOps[A](private val obj: A) extends AnyVal {
    *
    * For example:
    * {{{
-   * scala> import cats.implicits._, cats.data.NonEmptyList
+   * scala> import cats.syntax.all._, cats.data.NonEmptyList
    * scala> "Err".leftNel[Int]
    * res0: Either[NonEmptyList[String], Int] = Left(NonEmptyList(Err))
    * }}}
@@ -463,7 +463,7 @@ final class EitherIdOps[A](private val obj: A) extends AnyVal {
    *
    * For example:
    * {{{
-   * scala> import cats.implicits._, cats.data.NonEmptyList
+   * scala> import cats.syntax.all._, cats.data.NonEmptyList
    * scala> 1.rightNel[String]
    * res0: Either[NonEmptyList[String], Int] = Right(1)
    * }}}
@@ -487,7 +487,7 @@ final private[syntax] class EitherIdOpsBinCompat0[A](private val value: A) exten
    *
    * For example:
    * {{{
-   * scala> import cats.implicits._, cats.data.NonEmptyChain
+   * scala> import cats.syntax.all._, cats.data.NonEmptyChain
    * scala> "Err".leftNec[Int]
    * res0: Either[NonEmptyChain[String], Int] = Left(Chain(Err))
    * }}}
@@ -499,7 +499,7 @@ final private[syntax] class EitherIdOpsBinCompat0[A](private val value: A) exten
    *
    * For example:
    * {{{
-   * scala> import cats.implicits._, cats.data.NonEmptyChain
+   * scala> import cats.syntax.all._, cats.data.NonEmptyChain
    * scala> 1.rightNec[String]
    * res0: Either[NonEmptyChain[String], Int] = Right(1)
    * }}}
diff --git a/core/src/main/scala/cats/syntax/eitherK.scala b/core/src/main/scala/cats/syntax/eitherK.scala
index 17439f77ce..0cabf0dce3 100644
--- a/core/src/main/scala/cats/syntax/eitherK.scala
+++ b/core/src/main/scala/cats/syntax/eitherK.scala
@@ -39,7 +39,7 @@ final class EitherKOps[F[_], A](private val fa: F[A]) extends AnyVal {
    * {{{
    * scala> import cats.data.EitherK
    * scala> import cats.Eval
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> List(1, 2, 3).leftc[Eval]
    * res0: EitherK[List, Eval, Int] = EitherK(Left(List(1, 2, 3)))
    * }}}
@@ -55,7 +55,7 @@ final class EitherKOps[F[_], A](private val fa: F[A]) extends AnyVal {
    * {{{
    * scala> import cats.data.EitherK
    * scala> import cats.Eval
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> List(1, 2, 3).rightc[Eval]
    * res0: EitherK[Eval, List, Int] = EitherK(Right(List(1, 2, 3)))
    * }}}
diff --git a/core/src/main/scala/cats/syntax/flatMap.scala b/core/src/main/scala/cats/syntax/flatMap.scala
index ce758122a2..9791f47450 100644
--- a/core/src/main/scala/cats/syntax/flatMap.scala
+++ b/core/src/main/scala/cats/syntax/flatMap.scala
@@ -85,7 +85,7 @@ final class FlattenOps[F[_], A](private val ffa: F[F[A]]) extends AnyVal {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> type ErrorOr[A] = Either[String, A]
    * scala> val x: ErrorOr[ErrorOr[Int]] = 3.asRight.asRight
    * scala> x.flatten
@@ -103,7 +103,7 @@ final class IfMOps[F[_]](private val fa: F[Boolean]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.{Eval, Now}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val b1: Eval[Boolean] = Now(true)
    * scala> val asInt1: Eval[Int] = b1.ifM(Now(1), Now(0))
@@ -124,7 +124,7 @@ final class FlatMapIdOps[A](private val a: A) extends AnyVal {
   /**
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val a: Int = 10
    * scala> a.tailRecM[Option,String](i => if (i == 20) Some(Right("done")) else Some(Left(i+1)))
diff --git a/core/src/main/scala/cats/syntax/function1.scala b/core/src/main/scala/cats/syntax/function1.scala
index a4ab5f6619..7b4b74c7a5 100644
--- a/core/src/main/scala/cats/syntax/function1.scala
+++ b/core/src/main/scala/cats/syntax/function1.scala
@@ -38,7 +38,7 @@ trait Function1Syntax {
      *
      * Example:
      * {{{
-     * scala> import cats.implicits._
+     * scala> import cats.syntax.all._
      *
      * scala> val someF: Option[Int => Long] = Some(_.toLong + 1L)
      * scala> val noneF: Option[Int => Long] = None
@@ -63,7 +63,7 @@ trait Function1Syntax {
      * Example:
      * {{{
      * scala> import scala.util._
-     * scala> import cats.implicits._
+     * scala> import cats.syntax.all._
      *
      * scala> val f: List[String] => Option[String] = _.headOption
      * scala> val g: String => Option[Int] = str => Try(str.toInt).toOption
@@ -88,7 +88,7 @@ trait Function1Syntax {
      * Example:
      * {{{
      * scala> import scala.util._
-     * scala> import cats.implicits._
+     * scala> import cats.syntax.all._
      *
      * scala> val f: String => Option[Int] = str => Try(str.toInt).toOption
      * scala> val g: List[String] => Option[String] = _.headOption
diff --git a/core/src/main/scala/cats/syntax/ior.scala b/core/src/main/scala/cats/syntax/ior.scala
index 4a75ca5849..497ad73532 100644
--- a/core/src/main/scala/cats/syntax/ior.scala
+++ b/core/src/main/scala/cats/syntax/ior.scala
@@ -35,7 +35,7 @@ final class IorIdOps[A](private val a: A) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "hello".rightIor[String]
    * res0: Ior[String, String] = Right(hello)
@@ -49,7 +49,7 @@ final class IorIdOps[A](private val a: A) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> "error".leftIor[String]
    * res0: Ior[String, String] = Left(error)
diff --git a/core/src/main/scala/cats/syntax/list.scala b/core/src/main/scala/cats/syntax/list.scala
index 70bbbe3462..bbbc635795 100644
--- a/core/src/main/scala/cats/syntax/list.scala
+++ b/core/src/main/scala/cats/syntax/list.scala
@@ -37,7 +37,7 @@ final class ListOps[A](private val la: List[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.NonEmptyList
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: List[Int] = List(1, 2)
    * scala> result1.toNel
@@ -57,7 +57,7 @@ final class ListOps[A](private val la: List[A]) extends AnyVal {
    * {{{
    * scala> import cats.data.NonEmptyList
    * scala> import scala.collection.immutable.SortedMap
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val list = List(12, -2, 3, -5)
    *
@@ -79,7 +79,7 @@ final class ListOps[A](private val la: List[A]) extends AnyVal {
    * {{{
    * scala> import cats.data.NonEmptyList
    * scala> import scala.collection.immutable.SortedMap
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val list = List(12, -2, 3, -5)
    *
@@ -105,7 +105,7 @@ final class ListOps[A](private val la: List[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.NonEmptyList
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: List[Int] = List(1, 2)
    * scala> result1.scanLeftNel(100)(_ + _)
@@ -126,7 +126,7 @@ final class ListOps[A](private val la: List[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.NonEmptyList
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: List[Int] = List(1, 2)
    * scala> result1.scanRightNel(100)(_ + _)
@@ -154,7 +154,7 @@ final private[syntax] class ListOpsBinCompat0[A](private val la: List[A]) extend
    * {{{
    * scala> import cats.data.NonEmptyChain
    * scala> import scala.collection.immutable.SortedMap
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val list = List(12, -2, 3, -5)
    *
diff --git a/core/src/main/scala/cats/syntax/nested.scala b/core/src/main/scala/cats/syntax/nested.scala
index d5e138a96e..cdc0df66f4 100644
--- a/core/src/main/scala/cats/syntax/nested.scala
+++ b/core/src/main/scala/cats/syntax/nested.scala
@@ -38,7 +38,7 @@ final class NestedIdOps[F[_], G[_], A](private val value: F[G[A]]) extends AnyVa
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> List(Some(3), None).nested.map(_+1).value
    * res0: List[Option[Int]] = List(Some(4), None)
    * }}}
diff --git a/core/src/main/scala/cats/syntax/option.scala b/core/src/main/scala/cats/syntax/option.scala
index c565b2b4ef..ac3d5f91cb 100644
--- a/core/src/main/scala/cats/syntax/option.scala
+++ b/core/src/main/scala/cats/syntax/option.scala
@@ -51,7 +51,7 @@ final class OptionIdOps[A](private val a: A) extends AnyVal {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> 3.some
    * res0: Option[Int] = Some(3)
    * }}}
@@ -69,7 +69,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.Validated
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val error1: Option[String] = Some("error!")
    * scala> error1.toInvalid(3)
@@ -91,7 +91,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.ValidatedNel
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val error1: Option[String] = Some("error!")
    * scala> error1.toInvalidNel(3)
@@ -114,7 +114,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.ValidatedNec
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val error1: Option[String] = Some("error!")
    * scala> error1.toInvalidNec(3)
@@ -136,7 +136,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.Validated
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: Option[Int] = Some(3)
    * scala> result1.toValid("error!")
@@ -157,7 +157,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.ValidatedNel
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: Option[Int] = Some(3)
    * scala> result1.toValidNel("error!")
@@ -179,7 +179,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.ValidatedNec
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: Option[Int] = Some(3)
    * scala> result1.toValidNec("error!")
@@ -200,7 +200,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: Option[Int] = Some(3)
    * scala> result1.toRightIor("error!")
@@ -220,7 +220,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.Ior
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: Option[String] = Some("error!")
    * scala> result1.toLeftIor(3)
@@ -241,7 +241,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.EitherNel
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: Option[Int] = Some(3)
    * scala> result1.toRightNel("error!")
@@ -262,7 +262,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.EitherNec
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: Option[Int] = Some(3)
    * scala> result1.toRightNec("error!")
@@ -284,7 +284,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.EitherNel
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val error1: Option[String] = Some("error!")
    * scala> error1.toLeftNel(3)
@@ -307,7 +307,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.EitherNec
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val error1: Option[String] = Some("error!")
    * scala> error1.toLeftNec(3)
@@ -327,7 +327,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val someString: Option[String] = Some("hello")
    * scala> someString.orEmpty
@@ -345,7 +345,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> Some(1).liftTo[Either[CharSequence, *]]("Empty")
    * res0: scala.Either[CharSequence, Int] = Right(1)
    *
@@ -362,7 +362,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    *
    * Example:
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> type F[A] = Either[String, A]
    *
@@ -380,7 +380,7 @@ final class OptionOps[A](private val oa: Option[A]) extends AnyVal {
    * Transform the `Option` into a [[cats.data.OptionT]] while lifting it into the specified Applicative.
    *
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val op: Option[Int] = Some(3)
    * scala> op.toOptionT[List]
    * res0: cats.data.OptionT[List, Int] = OptionT(List(Some(3)))
diff --git a/core/src/main/scala/cats/syntax/set.scala b/core/src/main/scala/cats/syntax/set.scala
index e0684648fc..fa7d58a31b 100644
--- a/core/src/main/scala/cats/syntax/set.scala
+++ b/core/src/main/scala/cats/syntax/set.scala
@@ -38,7 +38,7 @@ final class SetOps[A](private val se: SortedSet[A]) extends AnyVal {
    * {{{
    * scala> import scala.collection.immutable.SortedSet
    * scala> import cats.data.NonEmptySet
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: SortedSet[Int] = SortedSet(1, 2)
    * scala> result1.toNes
@@ -58,7 +58,7 @@ final class SetOps[A](private val se: SortedSet[A]) extends AnyVal {
    * {{{
    * scala> import cats.data.NonEmptySet
    * scala> import scala.collection.immutable.{SortedMap, SortedSet}
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val sortedSet = SortedSet(12, -2, 3, -5)
    *
diff --git a/core/src/main/scala/cats/syntax/traverseFilter.scala b/core/src/main/scala/cats/syntax/traverseFilter.scala
index fde0616d0c..65f0e43ddb 100644
--- a/core/src/main/scala/cats/syntax/traverseFilter.scala
+++ b/core/src/main/scala/cats/syntax/traverseFilter.scala
@@ -36,7 +36,7 @@ final class SequenceFilterOps[F[_], G[_], A](private val fgoa: F[G[Option[A]]])
 
   /**
    * {{{
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    * scala> val a: List[Either[String, Option[Int]]] = List(Right(Some(1)), Right(Some(5)), Right(Some(3)))
    * scala> val b: Either[String, List[Int]] = a.sequenceFilter
    * b: Either[String, List[Int]] = Right(List(1, 5, 3))
diff --git a/core/src/main/scala/cats/syntax/validated.scala b/core/src/main/scala/cats/syntax/validated.scala
index d356f2dd62..68b386b8e1 100644
--- a/core/src/main/scala/cats/syntax/validated.scala
+++ b/core/src/main/scala/cats/syntax/validated.scala
@@ -57,7 +57,7 @@ final private[syntax] class ValidatedIdOpsBinCompat0[A](private val a: A) extend
    *
    * For example:
    * {{{
-   * scala> import cats.implicits._, cats.data._
+   * scala> import cats.syntax.all._, cats.data._
    * scala> 1.validNec[String]
    * res0: Validated[NonEmptyChain[String], Int] = Valid(1)
    * }}}
@@ -69,7 +69,7 @@ final private[syntax] class ValidatedIdOpsBinCompat0[A](private val a: A) extend
    *
    * For example:
    * {{{
-   * scala> import cats.implicits._, cats.data._
+   * scala> import cats.syntax.all._, cats.data._
    * scala> "Err".invalidNec[Int]
    * res0: Validated[NonEmptyChain[String], Int] = Invalid(Chain(Err))
    * }}}
diff --git a/core/src/main/scala/cats/syntax/vector.scala b/core/src/main/scala/cats/syntax/vector.scala
index 3b85185e92..d32967a80b 100644
--- a/core/src/main/scala/cats/syntax/vector.scala
+++ b/core/src/main/scala/cats/syntax/vector.scala
@@ -38,7 +38,7 @@ final class VectorOps[A](private val va: Vector[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.NonEmptyVector
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: Vector[Int] = Vector(1, 2)
    * scala> result1.toNev
@@ -58,7 +58,7 @@ final class VectorOps[A](private val va: Vector[A]) extends AnyVal {
    * {{{
    * scala> import cats.data.NonEmptyVector
    * scala> import scala.collection.immutable.SortedMap
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val vector = Vector(12, -2, 3, -5)
    *
@@ -80,7 +80,7 @@ final class VectorOps[A](private val va: Vector[A]) extends AnyVal {
    * {{{
    * scala> import cats.data.NonEmptyVector
    * scala> import scala.collection.immutable.SortedMap
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val vector = Vector(12, -2, 3, -5)
    *
@@ -111,7 +111,7 @@ final class VectorOps[A](private val va: Vector[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.NonEmptyVector
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: Vector[Int] = Vector(1, 2)
    * scala> result1.scanLeftNev(100)(_ + _)
@@ -132,7 +132,7 @@ final class VectorOps[A](private val va: Vector[A]) extends AnyVal {
    * Example:
    * {{{
    * scala> import cats.data.NonEmptyVector
-   * scala> import cats.implicits._
+   * scala> import cats.syntax.all._
    *
    * scala> val result1: Vector[Int] = Vector(1, 2)
    * scala> result1.scanRightNev(100)(_ + _)
diff --git a/docs/alleycats.md b/docs/alleycats.md
index 3d740f86fd..111d670c2c 100644
--- a/docs/alleycats.md
+++ b/docs/alleycats.md
@@ -103,7 +103,7 @@ the type used to represent a `Map`s `values`, and its often desirable to treat t
 values of a map as a `Foldable` collection. Alleycats provides a `Foldable[Iterable]`, eg:
 
 ```
-import cats.implicits._
+import cats.syntax.all._
 import alleycats.std.iterable._
 
 // Result "AppleOrange"
diff --git a/docs/datatypes/const.md b/docs/datatypes/const.md
index 3f35826543..5d79855b5f 100644
--- a/docs/datatypes/const.md
+++ b/docs/datatypes/const.md
@@ -73,7 +73,7 @@ only thing we need is a `map` operation on the data type. Being good functional
 
 ```scala mdoc:nest:silent
 import cats.Functor
-import cats.implicits._
+import cats.syntax.all._
 
 trait Lens[S, A] {
   def get(s: S): A
diff --git a/docs/datatypes/either.md b/docs/datatypes/either.md
index dd03f90caf..360ea7e42a 100644
--- a/docs/datatypes/either.md
+++ b/docs/datatypes/either.md
@@ -73,7 +73,7 @@ in the standard library. Since Cats builds on 2.10.x and 2.11.x, the gaps have b
 enrichments available under `cats.syntax.either._` or `cats.implicits._`.
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 
 val right: Either[String, Int] = Right(5)
 right.map(_ + 1)
@@ -181,7 +181,7 @@ Instead of using exceptions as our error value, let's instead enumerate explicit
 can go wrong in our program.
 
 ```scala mdoc:reset:silent
-import cats.implicits._
+import cats.syntax.all._
 
 object EitherStyle {
   sealed abstract class Error
diff --git a/docs/datatypes/eithert.md b/docs/datatypes/eithert.md
index 9cb2437d26..9aed02a97c 100644
--- a/docs/datatypes/eithert.md
+++ b/docs/datatypes/eithert.md
@@ -7,7 +7,7 @@ following program:
 
 ```scala mdoc
 import scala.util.Try
-import cats.implicits._
+import cats.syntax.all._
 
 def parseDouble(s: String): Either[String, Double] =
   Try(s.toDouble).map(Right(_)).getOrElse(Left(s"$s is not a number"))
@@ -68,7 +68,7 @@ asynchronous division program can be rewritten as follows:
 
 ```scala mdoc:nest
 import cats.data.EitherT
-import cats.implicits._
+import cats.syntax.all._
 
 def divisionProgramAsync(inputA: String, inputB: String): EitherT[Future, String, Double] =
   for {
diff --git a/docs/datatypes/eval.md b/docs/datatypes/eval.md
index d7364b12c4..5ab29d6cab 100644
--- a/docs/datatypes/eval.md
+++ b/docs/datatypes/eval.md
@@ -21,7 +21,7 @@ First of the strategies is eager evaluation, we can construct an `Eval` eagerly
 
 ```scala mdoc
 import cats.Eval
-import cats.implicits._
+import cats.syntax.all._
 
 
 val eager = Eval.now {
diff --git a/docs/datatypes/freeapplicative.md b/docs/datatypes/freeapplicative.md
index 01b7fc4e98..befa8e439d 100644
--- a/docs/datatypes/freeapplicative.md
+++ b/docs/datatypes/freeapplicative.md
@@ -37,7 +37,7 @@ Because a `FreeApplicative` only supports the operations of `Applicative`, we do
 of a for-comprehension. We can however still use `Applicative` syntax provided by Cats.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 
 val prog: Validation[Boolean] = (size(5), hasNumber).mapN { case (l, r) => l && r}
 ```
@@ -48,7 +48,7 @@ at this point. To make our program useful we need to interpret it.
 ```scala mdoc:silent
 import cats.Id
 import cats.arrow.FunctionK
-import cats.implicits._
+import cats.syntax.all._
 
 // a function that takes a string as input
 type FromString[A] = String => A
@@ -86,7 +86,7 @@ write a validator that validates in parallel.
 
 ```scala mdoc:silent
 import cats.data.Kleisli
-import cats.implicits._
+import cats.syntax.all._
 import scala.concurrent.Future
 import scala.concurrent.ExecutionContext.Implicits.global
 
@@ -114,7 +114,7 @@ we can completely ignore the return type of the operation and return just a `Lis
 
 ```scala mdoc:silent
 import cats.data.Const
-import cats.implicits._
+import cats.syntax.all._
 
 type Log[A] = Const[List[String], A]
 
diff --git a/docs/datatypes/freemonad.md b/docs/datatypes/freemonad.md
index 28016012ea..06854c8395 100644
--- a/docs/datatypes/freemonad.md
+++ b/docs/datatypes/freemonad.md
@@ -558,7 +558,7 @@ combined with `OptionT` for reducing boilerplate.
 import cats.free._
 import cats._
 import cats.data._
-import cats.implicits._
+import cats.syntax.all._
 import scala.util.Try
 
 sealed trait Ctx[A]
diff --git a/docs/datatypes/ior.md b/docs/datatypes/ior.md
index 96c7632a9f..ca13597b3e 100644
--- a/docs/datatypes/ior.md
+++ b/docs/datatypes/ior.md
@@ -26,7 +26,7 @@ val both = Ior.both("Warning", 3)
 Cats also offers syntax enrichment for `Ior`. The `leftIor` and `rightIor` functions can be imported from `cats.syntax.ior._`:
 
 ```scala mdoc:nest
-import cats.implicits._
+import cats.syntax.all._
 
 val right = 3.rightIor
 
@@ -41,7 +41,7 @@ For example, sometimes, we might want to accumulate warnings together with a val
 Here's an example of how we might be able to do that:
 
 ```scala mdoc:reset-object:silent
-import cats.implicits._
+import cats.syntax.all._
 import cats.data.{ NonEmptyChain => Nec, Ior}
 
 
@@ -108,7 +108,7 @@ type IorNec[B, A] = Ior[NonEmptyChain[B], A]
 
 
 ```scala mdoc:nest
-import cats.implicits._, cats.data.NonEmptyChain
+import cats.syntax.all._, cats.data.NonEmptyChain
 
 val left: IorNec[String, Int] = Ior.fromEither("Error".leftNec[Int])
 
diff --git a/docs/datatypes/iort.md b/docs/datatypes/iort.md
index 4f0554b5a7..fa38b6a4fb 100644
--- a/docs/datatypes/iort.md
+++ b/docs/datatypes/iort.md
@@ -13,7 +13,7 @@ validating an address:
 ```scala mdoc:silent
 import cats.data.Ior
 import cats.data.{ NonEmptyChain => Nec }
-import cats.implicits._
+import cats.syntax.all._
 import scala.util.{Success, Try}
 
 type Logs = Nec[String]
diff --git a/docs/datatypes/kleisli.md b/docs/datatypes/kleisli.md
index caac96c233..39dfbe9a29 100644
--- a/docs/datatypes/kleisli.md
+++ b/docs/datatypes/kleisli.md
@@ -56,7 +56,7 @@ compose two `Kleisli`s much like we can two functions.
 
 ```scala mdoc:silent
 import cats.FlatMap
-import cats.implicits._
+import cats.syntax.all._
 
 final case class Kleisli[F[_], A, B](run: A => F[B]) {
   def compose[Z](k: Kleisli[F, Z, A])(implicit F: FlatMap[F]): Kleisli[F, Z, B] =
@@ -68,7 +68,7 @@ Returning to our earlier example:
 
 ```scala mdoc:silent:nest
 // Bring in cats.FlatMap[Option] instance
-import cats.implicits._
+import cats.syntax.all._
 
 val parse: Kleisli[Option,String,Int] =
   Kleisli((s: String) => if (s.matches("-?[0-9]+")) Some(s.toInt) else None)
@@ -121,7 +121,7 @@ An example of a `Monad` instance for `Kleisli` is shown below.
 *Note*: the example below assumes usage of the [kind-projector compiler plugin](https://github.com/typelevel/kind-projector) and will not compile if it is not being used in a project.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 
 // We can define a FlatMap instance for Kleisli if the F[_] we chose has a FlatMap instance
 // Note the input type and F are fixed, with the output type left free
diff --git a/docs/datatypes/nel.md b/docs/datatypes/nel.md
index 2c40fc74b1..a679f7c2f9 100644
--- a/docs/datatypes/nel.md
+++ b/docs/datatypes/nel.md
@@ -165,7 +165,7 @@ is only available for non-empty datastructures.
 Here are some examples:
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 
 NonEmptyList.fromFoldable(List())
 NonEmptyList.fromFoldable(List(1,2,3))
diff --git a/docs/datatypes/nested.md b/docs/datatypes/nested.md
index 5adfc8802b..f4b78689e6 100644
--- a/docs/datatypes/nested.md
+++ b/docs/datatypes/nested.md
@@ -23,7 +23,7 @@ x.map(_.map(_.toString))
 
 ```scala mdoc:silent
 import cats.data.Nested
-import cats.implicits._
+import cats.syntax.all._
 val nested: Nested[Option, Validated[String, *], Int] = Nested(Some(Valid(123)))
 ```
 
@@ -81,7 +81,7 @@ import scala.concurrent.ExecutionContext.Implicits.global
 import scala.concurrent.duration._
 import cats.Applicative
 import cats.data.Nested
-import cats.implicits._
+import cats.syntax.all._
 
 def createUsers(userInfos: List[UserInfo]): Future[Either[List[String], List[User]]] =
   userInfos.traverse(userInfo => Nested(createUser(userInfo))).value
diff --git a/docs/datatypes/optiont.md b/docs/datatypes/optiont.md
index fa595c1514..e9b431739e 100644
--- a/docs/datatypes/optiont.md
+++ b/docs/datatypes/optiont.md
@@ -31,7 +31,7 @@ As you can see, the implementations of all of these variations are very similar.
 
 ```scala mdoc:silent:nest
 import cats.data.OptionT
-import cats.implicits._
+import cats.syntax.all._
 
 val customGreetingT: OptionT[Future, String] = OptionT(customGreeting)
 
diff --git a/docs/datatypes/validated.md b/docs/datatypes/validated.md
index 1a7d982e8a..f812a8d49c 100644
--- a/docs/datatypes/validated.md
+++ b/docs/datatypes/validated.md
@@ -70,7 +70,7 @@ case object AgeIsInvalid extends DomainValidation {
 We have our `RegistrationData` case class that will hold the information the user has submitted, alongside the definition of the error model that we'll be using for displaying the possible errors of every field. Now, let's explore the proposed implementation:
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 
 sealed trait FormValidator {
  def validateUserName(userName: String): Either[DomainValidation, String] =
@@ -167,7 +167,7 @@ Time to do some refactoring! We're going to try a `Validated` approach:
 ```scala mdoc:silent
 import cats.data._
 import cats.data.Validated._
-import cats.implicits._
+import cats.syntax.all._
 
 def validateUserName(userName: String): Validated[DomainValidation, String] = FormValidator.validateUserName(userName).toValidated
 
@@ -454,7 +454,7 @@ Time to parse.
 ```scala mdoc:silent:nest
 import cats.SemigroupK
 import cats.data.NonEmptyChain
-import cats.implicits._
+import cats.syntax.all._
 
 case class ConnectionParams(url: String, port: Int)
 
diff --git a/docs/datatypes/writert.md b/docs/datatypes/writert.md
index 4275b23da1..68d900a45c 100644
--- a/docs/datatypes/writert.md
+++ b/docs/datatypes/writert.md
@@ -89,7 +89,7 @@ only extends [`Applicative`](../typeclasses/applicative.md), but not [`Monad`](.
 ```scala mdoc:silent
 import cats.data.Validated
 import cats.data.Validated.{Invalid, Valid}
-import cats.implicits._
+import cats.syntax.all._
 
 val validatedWriterT1 : WriterT[Validated[String, *], String, Int] = WriterT(Valid(("writerT value 1", 123)))
 val validatedWriterT2 : WriterT[Validated[String, *], String, Int] = WriterT(Valid(("writerT value 1", 123)))
diff --git a/docs/faq.md b/docs/faq.md
index 33e73ccb19..5245fe0abf 100644
--- a/docs/faq.md
+++ b/docs/faq.md
@@ -87,7 +87,7 @@ Here is how we could achieve the effect of the previous example using `Nested`:
 
 ```scala mdoc:silent
 import cats.data.Nested
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 ```scala mdoc
@@ -193,7 +193,7 @@ Below is a list of symbols used in Cats.
 
 The `~>`, `⊥`, `⊤`, `:<:` and `:≺:` symbols can be imported with `import cats._`.
 
-All other symbols can be imported with `import cats.implicits._`
+All other symbols can be imported with `import cats.syntax.all._`
 
 | Symbol                           | Name                     | Nickname         | Type Class              | Signature                                                           |
 | -------------------------------- | -------------------------| ---------------- | ----------------------- | --------------------------------------------------------------------|
diff --git a/docs/guidelines.md b/docs/guidelines.md
index bfeef18205..0a731cfc76 100644
--- a/docs/guidelines.md
+++ b/docs/guidelines.md
@@ -23,7 +23,7 @@ specify all of them. Often we have functions where there are one or more types t
 
 ```scala mdoc:silent
 import cats._
-import cats.implicits._
+import cats.syntax.all._
 import cats.data.OptionT
 ```
 ```scala mdoc
diff --git a/docs/typeclasses/alternative.md b/docs/typeclasses/alternative.md
index 1ed2143878..8699e4935b 100644
--- a/docs/typeclasses/alternative.md
+++ b/docs/typeclasses/alternative.md
@@ -40,7 +40,7 @@ The relevant imports:
 
 ```scala mdoc:reset:silent
 import cats.Alternative
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 And what we can do with them:
diff --git a/docs/typeclasses/applicative.md b/docs/typeclasses/applicative.md
index d756ad0c39..e5f7a5c14f 100644
--- a/docs/typeclasses/applicative.md
+++ b/docs/typeclasses/applicative.md
@@ -80,7 +80,7 @@ def product3[F[_]: Applicative, A, B, C](fa: F[A], fb: F[B], fc: F[C]): F[(A, B,
 Let's see what happens if we try to compose two effectful values with just `map`.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 
 val f: (Int, Char) => Double = (i, c) => (i + c).toDouble
 
@@ -102,7 +102,7 @@ does `F[G[_]]`.
 
 ```scala mdoc:silent
 import cats.data.Nested
-import cats.implicits._
+import cats.syntax.all._
 import scala.concurrent.Future
 import scala.concurrent.ExecutionContext.Implicits.global
 
@@ -172,7 +172,7 @@ This works...but if we look carefully at the implementation there's nothing `Opt
 another example let's implement the same function but for `Either`.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 
 def traverseEither[E, A, B](as: List[A])(f: A => Either[E, B]): Either[E, List[B]] =
   as.foldRight(Right(List.empty[B]): Either[E, List[B]]) { (a: A, acc: Either[E, List[B]]) =>
@@ -203,7 +203,7 @@ This function is provided by Cats via the `Traverse[List]` instance and syntax,
 tutorial.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 ```scala mdoc
@@ -254,7 +254,7 @@ Applicative[Option].map3(username, password, url)(attemptConnect)
 With the applicative syntax, we can change this to the slightly shorter:
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 
 (username, password, url).mapN(attemptConnect)
 ```
@@ -265,7 +265,7 @@ together, so there's a little less boilerplate here.
 Another very useful `Apply` syntax is `tupled`, which allows a tuple of effectful values to be composed into a single effectful value containing a tuple. 
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 
 val optPair: Option[(String, String)] = (username, password).tupled
 ```
diff --git a/docs/typeclasses/applicativemonaderror.md b/docs/typeclasses/applicativemonaderror.md
index 7543738f9e..01d3d789db 100644
--- a/docs/typeclasses/applicativemonaderror.md
+++ b/docs/typeclasses/applicativemonaderror.md
@@ -40,7 +40,7 @@ create multiple functions with different "container" types.
 
 ```scala mdoc:silent
 import cats._
-import cats.implicits._
+import cats.syntax.all._
 
 def attemptDivideApplicativeError[F[_]](x: Int, y: Int)(implicit ae: ApplicativeError[F, String]): F[Int] = {
    if (y == 0) ae.raiseError("divisor is error")
@@ -86,7 +86,7 @@ when calling `attemptDivideApplicativeError`. Notice that
 so we make no other changes.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 import cats.data.Validated
 
 type MyValidated[A] = Validated[String, A]
@@ -115,7 +115,7 @@ we are using `Applicative`'s `map2`, and of course, `pure` which also is a
 form of `Applicative`.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 def attemptDivideApplicativeErrorWithMap2[F[_]](x: Int, y: Int)(implicit ae: ApplicativeError[F, String]): F[_] = {
    if (y == 0) ae.raiseError("divisor is error")
    else {
@@ -137,7 +137,7 @@ into the `handler` method, where this method will pattern match on the message
 and provide an alternative outcome.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 def attemptDivideApplicativeErrorAbove2[F[_]](x: Int, y: Int)(implicit ae: ApplicativeError[F, String]): F[Int] =
   if (y == 0) ae.raiseError("Bad Math")
   else if (y == 1) ae.raiseError("Waste of Time")
diff --git a/docs/typeclasses/arrow.md b/docs/typeclasses/arrow.md
index d352550a14..59d2382b45 100644
--- a/docs/typeclasses/arrow.md
+++ b/docs/typeclasses/arrow.md
@@ -19,7 +19,7 @@ Suppose we want to write a function `meanAndVar`, that takes a `List[Int]` and r
 
 ```scala mdoc:silent
 import cats.arrow.Arrow
-import cats.implicits._
+import cats.syntax.all._
 
 def combine[F[_, _]: Arrow, A, B, C](fab: F[A, B], fac: F[A, C]): F[A, (B, C)] =
   Arrow[F].lift((a: A) => (a, a)) >>> (fab *** fac)
diff --git a/docs/typeclasses/bifoldable.md b/docs/typeclasses/bifoldable.md
index 0c4cfa4ac3..ec25ac9682 100644
--- a/docs/typeclasses/bifoldable.md
+++ b/docs/typeclasses/bifoldable.md
@@ -28,7 +28,7 @@ First add the implicits:
 ```scala mdoc
 import cats._
 import cats.data._
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 then let's define a summary class capable of storing this info:
diff --git a/docs/typeclasses/bifunctor.md b/docs/typeclasses/bifunctor.md
index 23425ccc7c..dac486128c 100644
--- a/docs/typeclasses/bifunctor.md
+++ b/docs/typeclasses/bifunctor.md
@@ -19,7 +19,7 @@ convert it to an UNIX timestamp.
 
 ```scala mdoc:silent
 import cats._
-import cats.implicits._
+import cats.syntax.all._
 import java.time._
 
 case class DomainError(message: String)
diff --git a/docs/typeclasses/bimonad.md b/docs/typeclasses/bimonad.md
index 7e0f23dfe7..525c8fe8b5 100644
--- a/docs/typeclasses/bimonad.md
+++ b/docs/typeclasses/bimonad.md
@@ -23,7 +23,7 @@ Here is a possible implementation:
 ```scala mdoc
 import cats._
 import cats.data._
-import cats.implicits._
+import cats.syntax.all._
 
 implicit val nelBimonad =
   new Bimonad[NonEmptyList] {
diff --git a/docs/typeclasses/comonad.md b/docs/typeclasses/comonad.md
index 838c39e217..33056088fe 100644
--- a/docs/typeclasses/comonad.md
+++ b/docs/typeclasses/comonad.md
@@ -26,7 +26,7 @@ First some imports.
 ```scala mdoc:silent
 import cats._
 import cats.data._
-import cats.implicits._
+import cats.syntax.all._
 import cats.instances.list._
 ```
 
diff --git a/docs/typeclasses/contravariant.md b/docs/typeclasses/contravariant.md
index 027b7b1add..714233d78c 100644
--- a/docs/typeclasses/contravariant.md
+++ b/docs/typeclasses/contravariant.md
@@ -22,7 +22,7 @@ Say we have a class `Money` with a `Show` instance, and a `Salary` class:
 ```scala mdoc:silent
 import cats._
 
-import cats.implicits._
+import cats.syntax.all._
 
 case class Money(amount: Int)
 case class Salary(size: Money)
diff --git a/docs/typeclasses/contravariantmonoidal.md b/docs/typeclasses/contravariantmonoidal.md
index e82e905a5b..8a37ecf9ad 100644
--- a/docs/typeclasses/contravariantmonoidal.md
+++ b/docs/typeclasses/contravariantmonoidal.md
@@ -34,7 +34,7 @@ An example application would be the case of predicates. Consider the type,
 ```scala mdoc:silent:reset
 import cats._
 
-import cats.implicits._
+import cats.syntax.all._
 
 case class Predicate[A](run: A => Boolean)
 ```
diff --git a/docs/typeclasses/eq.md b/docs/typeclasses/eq.md
index dfb190d7b8..b5c1981223 100644
--- a/docs/typeclasses/eq.md
+++ b/docs/typeclasses/eq.md
@@ -32,7 +32,7 @@ eliminating these types of bugs altogether.
 The `Eq` syntax package also offers some handy symbolic operators:
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 
 1 === 1
 
@@ -47,7 +47,7 @@ The first option using `Eq.fromUniversalEquals` only defers to `==` and works li
 
 ```scala mdoc
 import cats.kernel.Eq
-import cats.implicits._
+import cats.syntax.all._
 
 
 case class Foo(a: Int, b: String)
diff --git a/docs/typeclasses/foldable.md b/docs/typeclasses/foldable.md
index 9256ca58e6..866afa3164 100644
--- a/docs/typeclasses/foldable.md
+++ b/docs/typeclasses/foldable.md
@@ -28,7 +28,7 @@ First some standard imports.
 
 ```scala mdoc:silent
 import cats._
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 And examples.
diff --git a/docs/typeclasses/functor.md b/docs/typeclasses/functor.md
index 4b2c0e2445..ec33427751 100644
--- a/docs/typeclasses/functor.md
+++ b/docs/typeclasses/functor.md
@@ -59,7 +59,7 @@ Such composition can be achieved via the `Functor#compose` method.
 
 ```scala mdoc:reset:silent
 import cats.Functor
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 ```scala mdoc
@@ -88,7 +88,7 @@ We can make this nicer at the cost of boxing with the `Nested` data type.
 
 ```scala mdoc:silent
 import cats.data.Nested
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 ```scala mdoc
diff --git a/docs/typeclasses/invariant.md b/docs/typeclasses/invariant.md
index 8b51262159..eb004575be 100644
--- a/docs/typeclasses/invariant.md
+++ b/docs/typeclasses/invariant.md
@@ -77,7 +77,7 @@ import java.util.Date
 
 // import everything for simplicity:
 import cats._
-import cats.implicits._
+import cats.syntax.all._
 
 def longToDate: Long => Date = new Date(_)
 def dateToLong: Date => Long = _.getTime
diff --git a/docs/typeclasses/invariantmonoidal.md b/docs/typeclasses/invariantmonoidal.md
index f8ecee61d5..e19f4c1a7f 100644
--- a/docs/typeclasses/invariantmonoidal.md
+++ b/docs/typeclasses/invariantmonoidal.md
@@ -33,7 +33,7 @@ def product[A, B](fa: Semigroup[A], fb: Semigroup[B]): Semigroup[(A, B)] = {
 Given an instance of `InvariantMonoidal` for `Semigroup`, we are able to combine existing `Semigroup` instances to form a new `Semigroup` by using the `Semigroupal` syntax:
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 
 // Let's build a Semigroup for this case class
 case class Foo(a: String, c: List[Double])
diff --git a/docs/typeclasses/lawtesting.md b/docs/typeclasses/lawtesting.md
index ca1faaa95b..b56da2cb35 100644
--- a/docs/typeclasses/lawtesting.md
+++ b/docs/typeclasses/lawtesting.md
@@ -88,7 +88,7 @@ the `ScalaCheck` `Properties` provided by `cats-laws`.
 The following example is for MUnit.
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 import cats.laws.discipline.FunctorTests
 import munit.DisciplineSuite
 import arbitraries._
@@ -128,7 +128,7 @@ So we have to import from there to test type classes like `Semigroup`, `Monoid`,
 Let's test it out by defining a `Semigroup` instance for our `Tree` type.
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 
 implicit def semigroupTree[A: Semigroup]: Semigroup[Tree[A]] = new Semigroup[Tree[A]] {
   def combine(x: Tree[A], y: Tree[A]) = (x, y) match {
@@ -143,7 +143,7 @@ implicit def semigroupTree[A: Semigroup]: Semigroup[Tree[A]] = new Semigroup[Tre
 Then we can add the Semigroup tests to our suite:
 
 ```scala mdoc:nest
-import cats.implicits._
+import cats.syntax.all._
 import cats.kernel.laws.discipline.SemigroupTests
 import cats.laws.discipline.FunctorTests
 import munit.DisciplineSuite
diff --git a/docs/typeclasses/monad.md b/docs/typeclasses/monad.md
index 3ac071063e..81034a5ee0 100644
--- a/docs/typeclasses/monad.md
+++ b/docs/typeclasses/monad.md
@@ -109,7 +109,7 @@ the results of earlier ones. This is embodied in `ifM`, which lifts an `if`
 statement into the monadic context.
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 
 Monad[List].ifM(List(true, false, true))(ifTrue = List(1, 2), ifFalse = List(3, 4))
 ```
@@ -128,7 +128,7 @@ example).
 
 ```scala mdoc:silent:reset
 import cats.Monad
-import cats.implicits._
+import cats.syntax.all._
 
 case class OptionT[F[_], A](value: F[Option[A]])
 
diff --git a/docs/typeclasses/monoid.md b/docs/typeclasses/monoid.md
index 76089aacdb..2164044647 100644
--- a/docs/typeclasses/monoid.md
+++ b/docs/typeclasses/monoid.md
@@ -51,7 +51,7 @@ def combineAll[A: Monoid](as: List[A]): A =
 which can be used for any type that has a `Monoid` instance.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 ```scala mdoc
@@ -90,7 +90,7 @@ How then can we collapse a `List[NonEmptyList[A]]` ? For such types that only ha
 lift into `Option` to get a `Monoid`.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 
 implicit def optionMonoid[A: Semigroup]: Monoid[Option[A]] = new Monoid[Option[A]] {
   def empty: Option[A] = None
@@ -114,7 +114,7 @@ Thus:
 ```scala mdoc:reset:silent
 import cats.Monoid
 import cats.data.NonEmptyList
-import cats.implicits._
+import cats.syntax.all._
 
 val list = List(NonEmptyList(1, List(2, 3)), NonEmptyList(4, List(5, 6)))
 val lifted = list.map(nel => Option(nel))
diff --git a/docs/typeclasses/monoidk.md b/docs/typeclasses/monoidk.md
index aed530f46c..f719350358 100644
--- a/docs/typeclasses/monoidk.md
+++ b/docs/typeclasses/monoidk.md
@@ -25,7 +25,7 @@ First some imports:
 
 ```scala mdoc:silent
 import cats.{Monoid, MonoidK}
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 Just like `Monoid[A]`, `MonoidK[F]` has an `empty` method, but it is parametrized on the type of the element contained in `F`:
diff --git a/docs/typeclasses/nonemptytraverse.md b/docs/typeclasses/nonemptytraverse.md
index 8609d6eae9..2dad5c5a65 100644
--- a/docs/typeclasses/nonemptytraverse.md
+++ b/docs/typeclasses/nonemptytraverse.md
@@ -18,7 +18,7 @@ One example application one could think of is, when we have a list of text snipp
 count the occurrence of each word in each snippet and return all the common words and their occurrences in each snippet:
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 import cats.data.NonEmptyList
 
 val snippets = NonEmptyList.of("What do you do", "What are you doing")
diff --git a/docs/typeclasses/parallel.md b/docs/typeclasses/parallel.md
index 659fe542cf..9a5a6afcf1 100644
--- a/docs/typeclasses/parallel.md
+++ b/docs/typeclasses/parallel.md
@@ -13,7 +13,7 @@ Below is a short example of a situation where we might run into this.
 For simplicity, we'll use `String` as our type to represent errors.
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 import cats.data._
 
 case class Name(value: String)
diff --git a/docs/typeclasses/reducible.md b/docs/typeclasses/reducible.md
index 77feaa08d3..479f82d855 100644
--- a/docs/typeclasses/reducible.md
+++ b/docs/typeclasses/reducible.md
@@ -23,7 +23,7 @@ First some standard imports.
 ```scala mdoc:silent
 import cats._
 import cats.data._
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 And examples.
diff --git a/docs/typeclasses/semigroup.md b/docs/typeclasses/semigroup.md
index 2358074021..d9e6bcc763 100644
--- a/docs/typeclasses/semigroup.md
+++ b/docs/typeclasses/semigroup.md
@@ -38,7 +38,7 @@ Semigroup[Int].combine(Semigroup[Int].combine(x, y), z)
 Infix syntax is also available for types that have a `Semigroup` instance.
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 
 1 |+| 2
 ```
@@ -47,7 +47,7 @@ A more compelling example which we'll see later in this tutorial is the `Semigro
 for `Map`s.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 
 val map1 = Map("hello" -> 1, "world" -> 1)
 val map2 = Map("hello" -> 2, "cats"  -> 3)
@@ -65,7 +65,7 @@ Cats provides many `Semigroup` instances out of the box such as `Int` (`+`) and
 
 ```scala mdoc:reset:silent
 import cats.Semigroup
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 ```scala mdoc
@@ -99,7 +99,7 @@ type say, `Int` or `List[String]`, but we can write it once and for all for
 any type with a `Semigroup` instance.
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 
 def optionCombine[A: Semigroup](a: A, opt: Option[A]): A =
   opt.map(a |+| _).getOrElse(a)
diff --git a/docs/typeclasses/semigroupk.md b/docs/typeclasses/semigroupk.md
index c4587c00ab..608cae637f 100644
--- a/docs/typeclasses/semigroupk.md
+++ b/docs/typeclasses/semigroupk.md
@@ -16,7 +16,7 @@ First some imports.
 
 ```scala mdoc:silent
 import cats._
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 For `List`, the `Semigroup` instance's `combine` operation and the `SemigroupK`
@@ -52,7 +52,7 @@ There is inline syntax available for both `Semigroup` and
 from `SemigroupK` (called `Plus` in scalaz).
 
 ```scala mdoc:silent
-import cats.implicits._
+import cats.syntax.all._
 
 val one = Option(1)
 val two = Option(2)
diff --git a/docs/typeclasses/show.md b/docs/typeclasses/show.md
index 349d7d434c..05148be6ca 100644
--- a/docs/typeclasses/show.md
+++ b/docs/typeclasses/show.md
@@ -52,7 +52,7 @@ Cats also offers `Show` syntax to make working with it easier.
 This includes the `show` method which can be called on anything with a `Show` instance in scope:
 
 ```scala mdoc
-import cats.implicits._
+import cats.syntax.all._
 
 val john = Person("John", 31)
 
diff --git a/docs/typeclasses/traverse.md b/docs/typeclasses/traverse.md
index 44973e60fb..0aa1b816e2 100644
--- a/docs/typeclasses/traverse.md
+++ b/docs/typeclasses/traverse.md
@@ -64,7 +64,7 @@ a `List[Option[A]]`. Since the values themselves are effects, traversing with `i
 will turn the traversable "inside out."
 
 ```scala mdoc:reset:silent
-import cats.implicits._
+import cats.syntax.all._
 ```
 
 ```scala mdoc
diff --git a/laws/src/main/scala/cats/laws/CoflatMapLaws.scala b/laws/src/main/scala/cats/laws/CoflatMapLaws.scala
index 476fce43ce..b3c4c5c3f2 100644
--- a/laws/src/main/scala/cats/laws/CoflatMapLaws.scala
+++ b/laws/src/main/scala/cats/laws/CoflatMapLaws.scala
@@ -23,7 +23,7 @@ package cats
 package laws
 
 import cats.data.Cokleisli
-import cats.implicits._
+import cats.syntax.all._
 
 /**
  * Laws that must be obeyed by any `CoflatMap`.
diff --git a/laws/src/main/scala/cats/laws/ComonadLaws.scala b/laws/src/main/scala/cats/laws/ComonadLaws.scala
index e85bd0e024..5008253717 100644
--- a/laws/src/main/scala/cats/laws/ComonadLaws.scala
+++ b/laws/src/main/scala/cats/laws/ComonadLaws.scala
@@ -23,7 +23,7 @@ package cats
 package laws
 
 import cats.data.Cokleisli
-import cats.implicits._
+import cats.syntax.all._
 
 /**
  * Laws that must be obeyed by any `Comonad`.
diff --git a/laws/src/main/scala/cats/laws/FoldableLaws.scala b/laws/src/main/scala/cats/laws/FoldableLaws.scala
index 62e00aff9b..c8c38d15c0 100644
--- a/laws/src/main/scala/cats/laws/FoldableLaws.scala
+++ b/laws/src/main/scala/cats/laws/FoldableLaws.scala
@@ -22,7 +22,7 @@
 package cats
 package laws
 
-import cats.implicits._
+import cats.syntax.all._
 
 import scala.collection.mutable
 
diff --git a/laws/src/main/scala/cats/laws/MonadLaws.scala b/laws/src/main/scala/cats/laws/MonadLaws.scala
index 9b10268c09..3ed6ad15ed 100644
--- a/laws/src/main/scala/cats/laws/MonadLaws.scala
+++ b/laws/src/main/scala/cats/laws/MonadLaws.scala
@@ -23,7 +23,7 @@ package cats
 package laws
 
 import cats.data.Kleisli
-import cats.implicits._
+import cats.syntax.all._
 
 /**
  * Laws that must be obeyed by any `Monad`.
diff --git a/laws/src/main/scala/cats/laws/ReducibleLaws.scala b/laws/src/main/scala/cats/laws/ReducibleLaws.scala
index 89da4be3b1..c68b9a7f4a 100644
--- a/laws/src/main/scala/cats/laws/ReducibleLaws.scala
+++ b/laws/src/main/scala/cats/laws/ReducibleLaws.scala
@@ -22,7 +22,7 @@
 package cats
 package laws
 
-import cats.implicits._
+import cats.syntax.all._
 
 trait ReducibleLaws[F[_]] extends FoldableLaws[F] {
   implicit def F: Reducible[F]
diff --git a/tests/shared/src/test/scala-2/cats/tests/FunctionKLiftSuite.scala b/tests/shared/src/test/scala-2/cats/tests/FunctionKLiftSuite.scala
index 12cd433fb8..7dd041d2bc 100644
--- a/tests/shared/src/test/scala-2/cats/tests/FunctionKLiftSuite.scala
+++ b/tests/shared/src/test/scala-2/cats/tests/FunctionKLiftSuite.scala
@@ -24,7 +24,7 @@ package cats.tests
 import cats.Applicative
 import cats.data.NonEmptyList
 import cats.arrow.FunctionK
-import cats.implicits._
+import cats.syntax.all._
 import org.scalacheck.Prop._
 import cats.laws.discipline.arbitrary._
 
diff --git a/tests/shared/src/test/scala-3/cats/tests/FunctionKLiftSuite.scala b/tests/shared/src/test/scala-3/cats/tests/FunctionKLiftSuite.scala
index 8cbe076893..da70f8fc87 100644
--- a/tests/shared/src/test/scala-3/cats/tests/FunctionKLiftSuite.scala
+++ b/tests/shared/src/test/scala-3/cats/tests/FunctionKLiftSuite.scala
@@ -22,7 +22,7 @@
 package cats.tests
 
 import cats.arrow.FunctionK
-import cats.implicits._
+import cats.syntax.all._
 import org.scalacheck.Prop._
 import cats.laws.discipline.arbitrary._
 
diff --git a/tests/shared/src/test/scala/cats/tests/OrderSuite.scala b/tests/shared/src/test/scala/cats/tests/OrderSuite.scala
index 4b3ed3711e..8dbd6745e9 100644
--- a/tests/shared/src/test/scala/cats/tests/OrderSuite.scala
+++ b/tests/shared/src/test/scala/cats/tests/OrderSuite.scala
@@ -28,7 +28,7 @@ import cats.laws.discipline.{ContravariantMonoidalTests, MiniInt}
 import cats.laws.discipline.arbitrary._
 import cats.laws.discipline.eq._
 import cats.tests.Helpers.Ord
-import cats.implicits._
+import cats.syntax.all._
 import org.scalacheck.Prop._
 
 class OrderSuite extends CatsSuite {
diff --git a/tests/shared/src/test/scala/cats/tests/PartialOrderSuite.scala b/tests/shared/src/test/scala/cats/tests/PartialOrderSuite.scala
index 27f0a2af3f..19cd765def 100644
--- a/tests/shared/src/test/scala/cats/tests/PartialOrderSuite.scala
+++ b/tests/shared/src/test/scala/cats/tests/PartialOrderSuite.scala
@@ -27,7 +27,7 @@ import cats.kernel.laws.discipline.SerializableTests
 import cats.laws.discipline.{ContravariantMonoidalTests, MiniInt}
 import cats.laws.discipline.arbitrary._
 import cats.laws.discipline.eq._
-import cats.implicits._
+import cats.syntax.all._
 import cats.tests.Helpers.POrd
 import org.scalacheck.Prop._
 
diff --git a/tests/shared/src/test/scala/cats/tests/VarianceSuite.scala b/tests/shared/src/test/scala/cats/tests/VarianceSuite.scala
index 07862ae803..e06aec55b9 100644
--- a/tests/shared/src/test/scala/cats/tests/VarianceSuite.scala
+++ b/tests/shared/src/test/scala/cats/tests/VarianceSuite.scala
@@ -23,7 +23,7 @@ package cats.tests
 
 import cats.arrow.Profunctor
 import cats.conversions.all._
-import cats.implicits._
+import cats.syntax.all._
 import cats.{Bifunctor, Contravariant, Functor}
 
 class VarianceSuite extends CatsSuite {

From d05ed4bdf919fdf882649fc565a03cf3f18af77c Mon Sep 17 00:00:00 2001
From: Arman Bilge <armanbilge@gmail.com>
Date: Mon, 6 Feb 2023 21:46:10 +0000
Subject: [PATCH 2/3] Fixing

---
 binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala | 1 +
 core/src/main/scala/cats/Applicative.scala                 | 2 +-
 core/src/main/scala/cats/Apply.scala                       | 2 +-
 core/src/main/scala/cats/Bifunctor.scala                   | 2 +-
 core/src/main/scala/cats/Foldable.scala                    | 2 +-
 5 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala b/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala
index aac6fe92d3..c0ea5d6038 100644
--- a/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala
+++ b/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala
@@ -21,6 +21,7 @@
 
 package catsBC
 import cats.InjectK
+import cats.instances.all._
 import cats.syntax.all._
 
 object MimaExceptions {
diff --git a/core/src/main/scala/cats/Applicative.scala b/core/src/main/scala/cats/Applicative.scala
index 8d0683a5ea..7a6c267612 100644
--- a/core/src/main/scala/cats/Applicative.scala
+++ b/core/src/main/scala/cats/Applicative.scala
@@ -174,7 +174,7 @@ trait Applicative[F[_]] extends Apply[F] with InvariantMonoidal[F] { self =>
    * Example:
    * {{{
    * scala> import cats.kernel.Comparison
-   * scala> import cats.syntax.all.__
+   * scala> import cats.syntax.all._
    *
    * // compares strings by alphabetical order
    * scala> val alpha: Order[String] = Order[String]
diff --git a/core/src/main/scala/cats/Apply.scala b/core/src/main/scala/cats/Apply.scala
index b740fc767f..f4ffa1f7f3 100644
--- a/core/src/main/scala/cats/Apply.scala
+++ b/core/src/main/scala/cats/Apply.scala
@@ -99,7 +99,7 @@ trait Apply[F[_]] extends Functor[F] with InvariantSemigroupal[F] with ApplyArit
    *
    * Example:
    * {{{
-   * scala> import cats.syntax.all.__
+   * scala> import cats.syntax.all._
    * scala> import cats.data.Validated
    * scala> import Validated.{Valid, Invalid}
    *
diff --git a/core/src/main/scala/cats/Bifunctor.scala b/core/src/main/scala/cats/Bifunctor.scala
index fb60f8bf11..addf2aa5fd 100644
--- a/core/src/main/scala/cats/Bifunctor.scala
+++ b/core/src/main/scala/cats/Bifunctor.scala
@@ -33,7 +33,7 @@ trait Bifunctor[F[_, _]] extends Serializable { self =>
    *
    * Example:
    * {{{
-   * scala> import cats.syntax.all.__
+   * scala> import cats.syntax.all._
    *
    * scala> val x: (List[String], Int) = (List("foo", "bar"), 3)
    * scala> x.bimap(_.headOption, _.toLong + 1)
diff --git a/core/src/main/scala/cats/Foldable.scala b/core/src/main/scala/cats/Foldable.scala
index cc97002452..d5cddc154d 100644
--- a/core/src/main/scala/cats/Foldable.scala
+++ b/core/src/main/scala/cats/Foldable.scala
@@ -160,7 +160,7 @@ trait Foldable[F[_]] extends UnorderedFoldable[F] with FoldableNFunctions[F] { s
    *
    * Example:
    * {{{
-   * scala> import cats.syntax.all.___
+   * scala> import cats.syntax.all._
    * scala> val l = List(6, 3, 2)
    * This is equivalent to (6 - 3) - 2
    * scala> Foldable[List].reduceLeftOption(l)(_ - _)

From 4be89c4455075a8d493857c0564d39773a9a2240 Mon Sep 17 00:00:00 2001
From: Arman Bilge <armanbilge@gmail.com>
Date: Tue, 7 Feb 2023 01:18:26 +0000
Subject: [PATCH 3/3] Revert to `cats.implicits` for bincompat test

---
 binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala b/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala
index c0ea5d6038..bbfadaf8c6 100644
--- a/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala
+++ b/binCompatTest/src/main/scala-2/catsBC/MimaExceptions.scala
@@ -21,8 +21,7 @@
 
 package catsBC
 import cats.InjectK
-import cats.instances.all._
-import cats.syntax.all._
+import cats.implicits._
 
 object MimaExceptions {