package effproblem

import org.atnos.eff.addon.scalaz.concurrent.TimedTask
import org.atnos.eff.syntax.addon.scalaz.eff._
import org.atnos.eff.syntax.addon.scalaz.either._
import org.atnos.eff.syntax.addon.scalaz.task._
import org.atnos.eff.{Fx, ExecutorServices}

object Test {
  sealed trait T1
  sealed trait T2
  sealed trait T3
  sealed trait T4

  //This one reproduces the error: No instance found for Member[[β$0$]scala.util.Either[E,β$0$],
  //effproblem.Test.S1]
  type S1 = Fx.append[
    Fx.fx4[
      Either[T1, ?],
      Either[T2, ?],
      Either[T3, ?],
      Either[T4, ?],
    ],
    Fx.fx1[TimedTask]
  ]

  type S2 = Fx.fx5[
    Either[T1, ?],
    Either[T2, ?],
    Either[T3, ?],
    Either[T4, ?],
    TimedTask
  ]

  implicit lazy val ec = ExecutorServices.fromGlobalExecutionContext

  ()
    .pureEff[S1]
    .runDisjunction
    .runDisjunction
    .runDisjunction
    .runDisjunction
    .runAsync
}