ᛒ
Size: a a a
ᛒ
AT
ᛒ
ᛒ
ᛒ
SK
ᛒ
Oℕ
ὦ
R
ὦ
R
R
D
implicit class BindSyntax[F[+_, +_], E, A](private val self: F[E, A]) extends AnyVal {
def flatMap[F1[+e, +a] >: F[e, a] @uv, E1 >: E, B](f: A => F1[E1, B])(implicit F: TwinMonad[F1]): F1[E1, B] =
F.flatMap(self, f)
[error] scala.reflect.internal.Types$TypeError: type mismatch;
[error] found : F1[E1(in method flatMap$extension),B(in method flatMap$extension)]
[error] required: F1[(some other)E1(in method flatMap$extension),(some other)B(in method flatMap$extension)]
λ