[REFACTOR]: Monad extends FlatMap too

lamdalib · Sep 3, 2024 · 0b76066 · 0b76066
1 parent 2fd3e4d
commit 0b76066
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/main/scala/kuram/monad/Monad.scala b/src/main/scala/kuram/monad/Monad.scala
@@ -23,6 +23,7 @@ package kuram
 package monad
 
 import applicative.Applicative
+import flatmap.FlatMap
 
 /**
   *
@@ -35,10 +36,8 @@ import applicative.Applicative
   * res0: List[Int] = List(3, 4, 5)
   * }}}
   */
-trait Monad[F[_]] extends Applicative[F] {
+trait Monad[F[_]] extends Applicative[F] with FlatMap[F] {
   extension [A](fa: F[A]) {
-    def flatMap[B](f: A => F[B]): F[B]
-
     override def map[B](f: A => B): F[B] =
       fa.flatMap(a => pure(f(a)))