स्कैला फ्लैटमैप और अनुप्रयोग संदर्भ सीमाएं संकलन त्रुटि उत्पन्न करती हैं

मैं स्कैला में कुछ कर्मचारी कर रहा हूं और 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...

क्या कोई इस व्यवहार की व्याख्या कर सकता है?