eithert-scala3.scala

//>using scala "3.1.1"
//>using lib "org.typelevel::cats-core:2.7.0"
//>using lib "org.typelevel::cats-effect:3.3.9"
sealed trait Error extends Product with Serializable

object Error {
  case object C extends Error
}

object demo {
  import util.chaining._
  import cats.implicits._
  import cats.effect._
  import cats.data._

  val r =
    for {
      a <- IO(42).pipe(EitherT.liftF(_))
      b <- 42.asRight.toEitherT[IO]
      c <- Error.C.asLeft.toEitherT[IO]
    } yield ()

}