a
FSize: a a a
a
FRO
RO
def example[T[_], A, B](inA: T[A], inB: T[B]): Future[Unit] = {
for {
a <- inA // convert to future implicitly
b <- inB // convert to future implicitly
} yield a + b
}AS
λ
trait ToFuture[F[_]] {
def toFuture[A](ec: ExecutionContext)(fa: F[A]): F[Future[A]]
}λ
RO
λ
SA
def example[T[_], A, B](inA: T[A], inB: T[B]): Future[Unit] = {
for {
a <- inA // convert to future implicitly
b <- inB // convert to future implicitly
} yield a + b
}AR
RO
S🐉
a
a
a
a
Task?a
λ
Oℕ
λ