Simplify FantasyLand\Monoid instance

diff --git a/src/FantasyLand/Monoid.php b/src/FantasyLand/Monoid.php
index 20eca8b..770cbcd 100644 (file)
--- a/src/FantasyLand/Monoid.php
+++ b/src/FantasyLand/Monoid.php
@@ -10,11 +10,4 @@ interface Monoid extends Semigroup
      * @return Monoid
      */
     public static function mempty();
-
-    /**
-     * Return identity element for given Semigroup
-     *
-     * @return Monoid
-     */
-    public function getEmpty();
 }

diff --git a/src/Functional/monoid.php b/src/Functional/monoid.php
index 8138776..ebc0111 100644 (file)
--- a/src/Functional/monoid.php
+++ b/src/Functional/monoid.php
@@ -16,9 +16,9 @@ const emptyM = 'Widmogrod\Functional\emptyM';
  *
  * @return Monoid
  */
-function emptyM(Monoid $a)
+function emptyM(Monoid $a): Monoid
 {
-    return $a->getEmpty();
+    return $a::mempty();
 }
 
 const concatM = 'Widmogrod\Functional\concatM';