Example playing with different computation orders

ComputationOrder.scala

package examples
import cats._, data._
import org.atnos.eff._, all._ 
import org.atnos.eff.syntax.all._

object ComputationOrder {
  
type C = Fx.fx4[Reader[String,?],State[String,?],Choose,Validate[String,?]]

type Check[A] = Eff[C,A]

val p : Check[Int] = pure(3)

import cats.std.list._

val r1 = p.runChoose.runReader("foo").runState("baz").runNel.run
val r2 = p.runChoose.runState("foo").runReader("baz").runNel.run

// The following orders don't work
// val r3 = p.runNel.runChoose.runReader("foo").runState("baz").run
// val r4 = p.runChoose.runNel.runState("foo").runReader("baz").run
// val r5 = p.runChoose.runState("foo").runNel.runReader("baz").run

}