add types to OppositeMonoid and OppositeSemigroup

needed to conform with interface

spec/OppositeMonoidSpec.php

@@ -0,0 +1,21 @@
+<?php
+
+declare(strict_types=1);
+
+use Marcosh\LamPHPda\Instances\LinkedList\LinkedListMonoid;
+use Marcosh\LamPHPda\Instances\OppositeMonoid;
+use Marcosh\LamPHPda\Instances\OppositeSemigroup;
+use Marcosh\LamPHPda\LinkedList;
+
+describe('ListTOppositeMonoid', function () {
+    it('has the same empty element', function () {
+        expect((new OppositeMonoid(new LinkedListMonoid()))->mempty())->toEqual((new LinkedListMonoid())->mempty());
+    });
+});
+
+describe('ListTOppositeSemigroup', function () {
+    it('reverses the result of append', function () {
+        expect((new OppositeSemigroup(new LinkedListMonoid()))->append(LinkedList::fromList([1]), LinkedList::fromList([2])))
+            ->toEqual((new LinkedListMonoid())->append(LinkedList::fromList([2]), LinkedList::fromList([1])));
+    });
+});

src/Instances/OppositeMonoid.php

@@ -25,7 +25,7 @@ public function __construct(private readonly Monoid $monoid)
     /**
      * @return A
      */
-    public function mempty()
+    public function mempty(): mixed
     {
         return $this->monoid->mempty();
     }
@@ -35,7 +35,7 @@ public function mempty()
      * @param A $b
      * @return A
      */
-    public function append($a, $b)
+    public function append($a, $b): mixed
     {
         return (new OppositeSemigroup($this->monoid))->append($a, $b);
     }

src/Instances/OppositeSemigroup.php

@@ -27,7 +27,7 @@ public function __construct(private readonly Semigroup $semigroup)
      * @param A $b
      * @return A
      */
-    public function append($a, $b)
+    public function append($a, $b): mixed
     {
         return $this->semigroup->append($b, $a);
     }