diff --git a/core/src/main/scala/cats/instances/seq.scala b/core/src/main/scala/cats/instances/seq.scala
index 13a821885bd..c970d2378ad 100644
--- a/core/src/main/scala/cats/instances/seq.scala
+++ b/core/src/main/scala/cats/instances/seq.scala
@@ -207,7 +207,7 @@ trait SeqInstances extends cats.kernel.instances.SeqInstances {
   }
 
   implicit def catsStdShowForSeq[A: Show]: Show[Seq[A]] =
-    Show.show(_.iterator.map(Show[A].show).mkString("Seq(", ", ", ")"))
+    Show.show(_.map(Show[A].show).toString)
 
   implicit def catsStdNonEmptyParallelForSeqZipSeq: NonEmptyParallel.Aux[Seq, ZipSeq] =
     new NonEmptyParallel[Seq] {
diff --git a/docs/typeclasses/invariantmonoidal.md b/docs/typeclasses/invariantmonoidal.md
index 6e96c573e06..d01407d1e2d 100644
--- a/docs/typeclasses/invariantmonoidal.md
+++ b/docs/typeclasses/invariantmonoidal.md
@@ -27,7 +27,7 @@ def unit: Semigroup[Unit] =
   Semigroup.instance((_, _) => ())
 
 def product[A, B](fa: Semigroup[A], fb: Semigroup[B]): Semigroup[(A, B)] =
-  Semigroup.instances { case ((xa, xb), (ya, yb)) =>
+  Semigroup.instance { case ((xa, xb), (ya, yb)) =>
     fa.combine(xa, ya) -> fb.combine(xb, yb)
   }
 ```
diff --git a/docs/typeclasses/monoid.md b/docs/typeclasses/monoid.md
index 23749bf8916..72ef918bf29 100644
--- a/docs/typeclasses/monoid.md
+++ b/docs/typeclasses/monoid.md
@@ -103,7 +103,6 @@ implicit def optionMonoid[A: Semigroup]: Monoid[Option[A]] =
         }
     }
   )
-}
 ```
 
 This is the `Monoid` for `Option`: for any `Semigroup[A]`, there is a `Monoid[Option[A]]`.
diff --git a/free/src/test/scala/cats/free/FreeTSuite.scala b/free/src/test/scala/cats/free/FreeTSuite.scala
index e27828c6d9e..4916ecf0404 100644
--- a/free/src/test/scala/cats/free/FreeTSuite.scala
+++ b/free/src/test/scala/cats/free/FreeTSuite.scala
@@ -302,9 +302,9 @@ trait FreeTSuiteInstances {
     override def map[A, B](fa: JustFunctor[A])(f: A => B): JustFunctor[B] = JustFunctor(f(fa.a))
   }
 
-  implicit def freeTOptionEq[A](implicit A: Eq[A], OM: Monad[Option]): Eq[FreeTOption[A]] =
+  implicit def freeTOptionEq[A](implicit A: Eq[A]): Eq[FreeTOption[A]] =
     Eq.by(_.runM(identity))
 
-  implicit def freeTStateEq[A](implicit A: Eq[A], SM: Monad[IntState]): Eq[FreeTState[A]] =
+  implicit def freeTStateEq[A](implicit A: Eq[A]): Eq[FreeTState[A]] =
     Eq.by(_.runM(identity))
 }