Cats - 當范圍內的Monad`實例時如何使用for -reherehe？

Question

如何在下面的方法中對M型使用for-comprehension？

def foo[M[_]: Monad](m1: M[Int], m2: M[Int]) =
  for {
     a <- m1
     b <- m2
  } yield (a + b)

我會得到一個

value flatMap is not a member of type parameter M[Int]

我可以通過定義flatMap和map方法來實現它：

implicit class MOps[A](m: M[A])(implicit monad: Monad[M]) {
  def flatMap[B](f: A => M[B]): M[B] = monad.flatMap(m)(f)
  def map[B](f: A => B): M[B]        = monad.map(m)(f)
}

但是肯定有必要讓Cats提供這些方法嗎？

Answer 1

嘗試：

import cats.syntax.functor._, cats.syntax.flatMap._