Update laws

Author: Valy Dia

kernel-laws/shared/src/test/scala/cats/kernel/laws/LawTests.scala

@@ -178,10 +178,8 @@ class Tests extends AnyFunSuiteLike with Discipline {
 
   checkAll("Monoid[String]", MonoidTests[String].monoid)
   checkAll("Monoid[String]", SerializableTests.serializable(Monoid[String]))
-  checkAll("Monoid[Option[Int]]", MonoidTests[Option[Int]].monoid)
-  checkAll("Monoid[Option[Int]]", SerializableTests.serializable(Monoid[String]))
   checkAll("Monoid[Option[String]]", MonoidTests[Option[String]].monoid)
-  checkAll("Monoid[Option[String]]", SerializableTests.serializable(Monoid[String]))
+  checkAll("Monoid[Option[String]]", SerializableTests.serializable(Monoid[Option[String]]))
   checkAll("Monoid[List[Int]]", MonoidTests[List[Int]].monoid)
   checkAll("Monoid[List[Int]]", SerializableTests.serializable(Monoid[List[Int]]))
   checkAll("Monoid[Vector[Int]]", MonoidTests[Vector[Int]].monoid)
@@ -195,6 +193,8 @@ class Tests extends AnyFunSuiteLike with Discipline {
   checkAll("Monoid[Queue[Int]]", MonoidTests[Queue[Int]].monoid)
   checkAll("Monoid[Queue[Int]]", SerializableTests.serializable(Monoid[Queue[Int]]))
 
+  checkAll("CommutativeMonoid[Option[Int]]", CommutativeMonoidTests[Option[Int]].commutativeMonoid)
+  checkAll("CommutativeMonoid[Option[Int]]", SerializableTests.serializable(CommutativeMonoid[Option[Int]]))
   checkAll("CommutativeMonoid[Map[String, Int]]", CommutativeMonoidTests[Map[String, Int]].commutativeMonoid)
   checkAll("CommutativeMonoid[Map[String, Int]]", SerializableTests.serializable(CommutativeMonoid[Map[String, Int]]))
 

kernel/src/main/scala/cats/kernel/instances/option/package.scala

@@ -73,8 +73,8 @@ class OptionEq[A](implicit A: Eq[A]) extends Eq[Option[A]] {
 }
 
 class OptionCommutativeMonoid[A](implicit A: CommutativeSemigroup[A])
-  extends OptionMonoid[A]()(A)
-  with CommutativeMonoid[Option[A]]
+    extends OptionMonoid[A]()(A)
+    with CommutativeMonoid[Option[A]]
 
 class OptionMonoid[A](implicit A: Semigroup[A]) extends Monoid[Option[A]] {
   def empty: Option[A] = None