Oℕ
Size: a a a
Oℕ
KS
SK
ΛВ
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)]
ΛВ
NV
ὦ
λ
λ
ZM
λ
AT
ὦ
SK