guizmaii.scala

import cats.instances.future._
import cats.instances.option._
import cats.syntax.traverse._
import cats.syntax.cartesian._

import scala.concurrent.Future

trait Guizmaii {

  import scala.concurrent.ExecutionContext.Implicits.global

  type A
  type B

  def f(x: A, y: A): Future[Option[B]]

  def solution(x: Option[A], y: Option[A]) : Future[Option[B]] =
    (x |@| y).map(f).flatSequence


}