Scala FlatMap和应用程序上下文边界产生编译错误

我在Scala工作,遇到了一个问题 implicit 实例。让我们考虑下面的例子:

import cats.{Applicative, FlatMap, Monad}
import cats.syntax.functor._
import cats.syntax.flatMap._
import cats.syntax.applicative._


class Test[F[_]: Monad] extends App{
  val t1 = ().pure[F]
  val t2 = ().pure[F]

  def testFlatApplicative: F[Unit] =
    for{
      _ <- t1
      _ <- t2
    } yield ()
}

这很好。但是自从 cats.Monad[F[_]] 声明如下:

@typeclass trait Monad[F[_]] extends FlatMap[F] with Applicative[F]

我希望下面的方法也能奏效

import cats.{Applicative, FlatMap, Monad}
import cats.syntax.functor._
import cats.syntax.flatMap._
import cats.syntax.applicative._


class Test[F[_]: FlatMap : Applicative] extends App{
  val t1 = ().pure[F]
  val t2 = ().pure[F]

  def testFlatApplicative: F[Unit] =
    for{
      _ <- t1
      _ <- t2
    } yield ()
}

但它无法编译,出现错误:

Error:(16, 12) value map is not a member of type parameter F[Unit]
      _ <- t2

这很奇怪。 Apply 延伸 Functor ...

有人能解释这种行为吗?