so what used to be:

IO { bla() }.map { ble() }.flatMap { bli() }

becomes

fx {
  val (a) = effect { bla() }
  val b = ble()
  val (c) = bli()
}