@fncts/io 0.0.47 → 0.0.49

package/_mjs/IO/api.mjs

@@ -1,53 +1,50 @@
 const fileName_1 = "(@fncts/io) src/IO/api.ts";
-import * as tsplus_module_1 from "@fncts/base/data/FiberId/constructors";
-import * as tsplus_module_2 from "@fncts/base/data/Cause/api";
-import * as tsplus_module_3 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_1 from "@fncts/base/data/Cause/api";
+import * as tsplus_module_2 from "@fncts/base/data/Maybe/constructors";
+import * as tsplus_module_3 from "@fncts/base/data/FiberId/constructors";
 import * as tsplus_module_4 from "@fncts/base/data/Either/destructors";
-import * as tsplus_module_5 from "@fncts/base/util/predicates";
-import * as tsplus_module_6 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_5 from "@fncts/base/data/Maybe/api";
+import * as tsplus_module_6 from "@fncts/base/util/predicates";
 import * as tsplus_module_7 from "@fncts/io/RuntimeFlags/RuntimeFlags";
 import * as tsplus_module_8 from "@fncts/io/InterruptStatus/constructors";
 import * as tsplus_module_9 from "@fncts/base/data/Either/constructors";
-import * as tsplus_module_10 from "@fncts/base/collection/immutable/Conc/api";
-import * as tsplus_module_11 from "@fncts/base/collection/Iterable/api";
-import * as tsplus_module_12 from "@fncts/base/collection/immutable/Conc/constructors";
-import * as tsplus_module_13 from "@fncts/base/data/Maybe/definition";
-import * as tsplus_module_14 from "@fncts/base/control/Eval/run";
-import * as tsplus_module_15 from "@fncts/base/data/Exit/api";
-import * as tsplus_module_16 from "@fncts/base/data/Maybe/destructors";
-import * as tsplus_module_17 from "@fncts/base/data/exceptions";
-import * as tsplus_module_18 from "@fncts/base/data/Trace/constructors";
-import * as tsplus_module_19 from "@fncts/base/collection/immutable/Conc/api/empty";
-import * as tsplus_module_20 from "@fncts/base/collection/immutable/List/api";
-import * as tsplus_module_21 from "@fncts/base/collection/immutable/ImmutableArray/constructors";
-import * as tsplus_module_22 from "@fncts/base/collection/immutable/ImmutableArray/api";
-import * as tsplus_module_23 from "@fncts/base/data/Exit/constructors";
-export const async = async_1;
-export const zipRight = zipRight_1;
+import * as tsplus_module_10 from "@fncts/base/data/Exit/constructors";
+import * as tsplus_module_11 from "@fncts/base/collection/immutable/Conc/api";
+import * as tsplus_module_12 from "@fncts/base/collection/Iterable/api";
+import * as tsplus_module_13 from "@fncts/base/collection/immutable/Conc/constructors";
+import * as tsplus_module_14 from "@fncts/base/data/Maybe/definition";
+import * as tsplus_module_15 from "@fncts/base/control/Eval/run";
+import * as tsplus_module_16 from "@fncts/base/data/Exit/api";
+import * as tsplus_module_17 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_18 from "@fncts/base/data/exceptions";
+import * as tsplus_module_19 from "@fncts/base/data/Trace/constructors";
+import * as tsplus_module_20 from "@fncts/base/collection/immutable/Conc/api/empty";
+import * as tsplus_module_21 from "@fncts/base/collection/immutable/List/api";
+import * as tsplus_module_22 from "@fncts/base/collection/immutable/ReadonlyArray/constructors";
 export const as = as_1;
 export const asJust = asJust_1;
 export const asUnit = asUnit_1;
-export const catchTagWith = catchTagWith_1;
+export const async = async_1;
 export const catchAll = catchAll_1;
 export const catchAllCause = catchAllCause_1;
-export const flatMap = flatMap_1;
+export const catchTagWith = catchTagWith_1;
 export const collectIO = collectIO_1;
 export const defer = defer_1;
 export const either = either_1;
 export const eventually = eventually_1;
 export const fail = fail_1;
-export const failNow = failNow_1;
-export const refailCause = refailCause_1;
-export const failCauseNow = failCauseNow_1;
 export const failCause = failCause_1;
+export const failCauseNow = failCauseNow_1;
+export const failNow = failNow_1;
 export const fiberIdWith = fiberIdWith_1;
 export const filter = filter_1;
 export const filterMapWithIndex = filterMapWithIndex_1;
 export const filterOrElse = filterOrElse_1;
+export const flatMap = flatMap_1;
 export const foldLeft = foldLeft_1;
 export const foreach = foreach_1;
-export const foreachWithIndexDiscard = foreachWithIndexDiscard_1;
 export const foreachDiscard = foreachDiscard_1;
+export const foreachWithIndexDiscard = foreachWithIndexDiscard_1;
 export const forever = forever_1;
 export const fromPromiseCatch = fromPromiseCatch_1;
 export const getOrFailWith = getOrFailWith_1;
@@ -59,21 +56,21 @@ export const loop = loop_1;
 export const map = map_1;
 export const mapError = mapError_1;
 export const mapErrorCause = mapErrorCause_1;
+export const match = match_1;
 export const matchCauseIO = matchCauseIO_1;
 export const matchIO = matchIO_1;
-export const match = match_1;
+export const refailCause = refailCause_1;
 export const orElse = orElse_1;
 export const orHaltWith = orHaltWith_1;
 export const refineOrHaltWith = refineOrHaltWith_1;
 export const rejectIO = rejectIO_1;
-export const repeatN_ = repeatN_1;
 export const repeatUntilIO = repeatUntilIO_1;
 export const repeatWhileIO = repeatWhileIO_1;
 export const retryUntilIO = retryUntilIO_1;
 export const retryWhileIO = retryWhileIO_1;
 export const sandbox = sandbox_1;
-export const succeedNow = succeedNow_1;
 export const succeed = succeed_1;
+export const succeedNow = succeedNow_1;
 export const summarized = summarized_1;
 export const swap = swap_1;
 export const swapWith = swapWith_1;
@@ -81,27 +78,17 @@ export const tryCatch = tryCatch_1;
 export const tryOrElse = tryOrElse_1;
 export const unrefineWith = unrefineWith_1;
 export const unsandbox = unsandbox_1;
+export const stackTrace = stackTrace_1;
 export const whenIO = whenIO_1;
+export const whileLoop = whileLoop_1;
 export const withFiberRuntime = withFiberRuntime_1;
-export const stackTrace = stackTrace_1;
+export const zipRight = zipRight_1;
 export const zipWith = zipWith_1;
 export const gen = gen_1;
 import { IOError } from "@fncts/base/data/exceptions";
 import { identity, pipe, tuple } from "@fncts/base/data/function";
 import { showWithOptions } from "@fncts/base/data/Showable";
 import { IOPrimitive } from "@fncts/io/IO/definition";
-/**
- * Imports an asynchronous side-effect into a `IO`
- *
- * @tsplus static fncts.io.IOOps async
- */
-function async_1(register, blockingOn = tsplus_module_1.none, __tsplusTrace) {
-  const io = new IOPrimitive(3 /* IOTag.Async */);
-  io.i0 = register;
-  io.i1 = () => blockingOn;
-  io.trace = __tsplusTrace;
-  return io;
-}
 /**
  * Attempts to convert defects into a failure, throwing away all information
  * about the cause of the failure.
@@ -109,27 +96,7 @@ function async_1(register, blockingOn = tsplus_module_1.none, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO absorbWith
  */
 export function absorbWith(f, __tsplusTrace) {
-  return ma => matchIO_1(cause => failNow_1(tsplus_module_2.squashWith(f)(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(sandbox_1(ma, __tsplusTrace));
-}
-/**
- * @tsplus pipeable fncts.io.IO zipLeft
- * @tsplus pipeable-operator fncts.io.IO <
- */
-export function zipLeft(fb, __tsplusTrace) {
-  return self => {
-    return flatMap_1(a => map_1(() => a, __tsplusTrace)(fb), __tsplusTrace)(self);
-  };
-}
-/**
- * Combine two effectful actions, keeping only the result of the second
- *
- * @tsplus pipeable fncts.io.IO zipRight
- * @tsplus pipeable-operator fncts.io.IO >
- */
-function zipRight_1(fb, __tsplusTrace) {
-  return self => {
-    return flatMap_1(() => fb, __tsplusTrace)(self);
-  };
+  return ma => matchIO_1(cause => failNow_1(tsplus_module_1.squashWith(f)(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(sandbox_1(ma, __tsplusTrace));
 }
 /**
  * @tsplus pipeable fncts.io.IO as
@@ -144,16 +111,16 @@ function as_1(b, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.IO asJust
  */
-function asJust_1(ma, __tsplusTrace) {
-  return map_1(tsplus_module_3.just, __tsplusTrace)(ma);
+function asJust_1(self, __tsplusTrace) {
+  return map_1(tsplus_module_2.just, __tsplusTrace)(self);
 }
 /**
  * Maps the error value of this IO to an optional value.
  *
  * @tsplus getter fncts.io.IO asJustError
  */
-export function asJustError(ma, __tsplusTrace) {
-  return mapError_1(tsplus_module_3.just, __tsplusTrace)(ma);
+export function asJustError(self, __tsplusTrace) {
+  return mapError_1(tsplus_module_2.just, __tsplusTrace)(self);
 }
 /**
  * @tsplus getter fncts.io.IO asUnit
@@ -161,15 +128,27 @@ export function asJustError(ma, __tsplusTrace) {
 function asUnit_1(self, __tsplusTrace) {
   return as_1(() => undefined, __tsplusTrace)(self);
 }
+/**
+ * Imports an asynchronous side-effect into a `IO`
+ *
+ * @tsplus static fncts.io.IOOps async
+ */
+function async_1(register, blockingOn = tsplus_module_3.none, __tsplusTrace) {
+  const io = new IOPrimitive(3 /* IOTag.Async */);
+  io.i0 = register;
+  io.i1 = () => blockingOn;
+  io.trace = __tsplusTrace;
+  return io;
+}
 /**
  * Returns an IO whose failure and success channels have been mapped by
  * the specified pair of functions, `f` and `g`.
  *
  * @tsplus pipeable fncts.io.IO bimap
  */
-export function bimap(f, g, __tsplusTrace) {
+export function bimap(onFailure, onSuccess, __tsplusTrace) {
   return self => {
-    return matchIO_1(e => failNow_1(f(e), __tsplusTrace), a => succeedNow_1(g(a), __tsplusTrace), __tsplusTrace)(self);
+    return matchIO_1(e => failNow_1(onFailure(e), __tsplusTrace), a => succeedNow_1(onSuccess(a), __tsplusTrace), __tsplusTrace)(self);
   };
 }
 /**
@@ -180,22 +159,7 @@ export function bimap(f, g, __tsplusTrace) {
  */
 export function bitap(onFailure, onSuccess, __tsplusTrace) {
   return self => {
-    return matchCauseIO_1(cause => tsplus_module_4.match(e => flatMap_1(() => failCauseNow_1(cause, __tsplusTrace), __tsplusTrace)(onFailure(e)), () => failCauseNow_1(cause, __tsplusTrace))(tsplus_module_2.failureOrCause(cause)), a => zipRight_1(succeedNow_1(a, __tsplusTrace), __tsplusTrace)(onSuccess(a)), __tsplusTrace)(self);
-  };
-}
-/**
- * Recovers from the specified error
- *
- * @tsplus pipeable fncts.io.IO catch
- */
-function catchTagWith_1(tag, k, f, __tsplusTrace) {
-  return ma => {
-    return catchAll_1(e => {
-      if (tsplus_module_5.isObject(e) && tag in e && e[tag] === k) {
-        return f(e);
-      }
-      return failNow_1(e, __tsplusTrace);
-    }, __tsplusTrace)(ma);
+    return matchCauseIO_1(cause => tsplus_module_4.match(e => flatMap_1(() => failCauseNow_1(cause, __tsplusTrace), __tsplusTrace)(onFailure(e)), () => failCauseNow_1(cause, __tsplusTrace))(tsplus_module_1.failureOrCause(cause)), a => zipRight_1(succeedNow_1(a, __tsplusTrace), __tsplusTrace)(onSuccess(a)), __tsplusTrace)(self);
   };
 }
 /**
@@ -203,9 +167,9 @@ function catchTagWith_1(tag, k, f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.IO catchAll
  */
-function catchAll_1(f, __tsplusTrace) {
-  return ma => {
-    return matchIO_1(f, succeedNow_1, __tsplusTrace)(ma);
+function catchAll_1(onFailure, __tsplusTrace) {
+  return self => {
+    return matchIO_1(onFailure, succeedNow_1, __tsplusTrace)(self);
   };
 }
 /**
@@ -214,17 +178,17 @@ function catchAll_1(f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.IO catchAllCause
  */
-function catchAllCause_1(f, __tsplusTrace) {
-  return ma => matchCauseIO_1(f, succeedNow_1, __tsplusTrace)(ma);
+function catchAllCause_1(onFailure, __tsplusTrace) {
+  return self => matchCauseIO_1(onFailure, succeedNow_1, __tsplusTrace)(self);
 }
 /**
  * Recovers from some or all of the error cases.
  *
  * @tsplus pipeable fncts.io.IO catchJust
  */
-export function catchJust(f, __tsplusTrace) {
-  return ma => {
-    return matchCauseIO_1(cause => tsplus_module_4.match(e => tsplus_module_6.getOrElse(() => failCauseNow_1(cause, __tsplusTrace))(f(e)), failCauseNow_1)(tsplus_module_2.failureOrCause(cause)), succeedNow_1, __tsplusTrace)(ma);
+export function catchJust(onFailure, __tsplusTrace) {
+  return self => {
+    return matchCauseIO_1(cause => tsplus_module_4.match(e => tsplus_module_5.getOrElse(() => failCauseNow_1(cause, __tsplusTrace))(onFailure(e)), failCauseNow_1)(tsplus_module_1.failureOrCause(cause)), succeedNow_1, __tsplusTrace)(self);
   };
 }
 /**
@@ -232,9 +196,9 @@ export function catchJust(f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.IO catchJustCause
  */
-export function catchJustCause(f, __tsplusTrace) {
-  return ma => {
-    return matchCauseIO_1(cause => tsplus_module_6.getOrElse(() => failCauseNow_1(cause, __tsplusTrace))(f(cause)), succeedNow_1, __tsplusTrace)(ma);
+export function catchJustCause(onFailure, __tsplusTrace) {
+  return self => {
+    return matchCauseIO_1(cause => tsplus_module_5.getOrElse(() => failCauseNow_1(cause, __tsplusTrace))(onFailure(cause)), succeedNow_1, __tsplusTrace)(self);
   };
 }
 /**
@@ -247,9 +211,9 @@ export function catchJustCause(f, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.IO catchJustDefect
  */
-export function catchJustDefect(f, __tsplusTrace) {
-  return ma => {
-    return catchAll_1(a => a, __tsplusTrace)(unrefineWith_1(f, failNow_1, __tsplusTrace)(ma));
+export function catchJustDefect(onFailure, __tsplusTrace) {
+  return self => {
+    return catchAll_1(a => a, __tsplusTrace)(unrefineWith_1(onFailure, failNow_1, __tsplusTrace)(self));
   };
 }
 /**
@@ -257,23 +221,38 @@ export function catchJustDefect(f, __tsplusTrace) {
  *
  * @tsplus pipeable IO catchTag
  */
-export function catchTag(k, f, __tsplusTrace) {
-  return ma => {
-    return catchTagWith_1("_tag", k, f, __tsplusTrace)(ma);
+export function catchTag(tag, onFailure, __tsplusTrace) {
+  return self => {
+    return catchTagWith_1("_tag", tag, onFailure, __tsplusTrace)(self);
+  };
+}
+/**
+ * Recovers from the specified error
+ *
+ * @tsplus pipeable fncts.io.IO catch
+ */
+function catchTagWith_1(tagKey, tag, onFailure, __tsplusTrace) {
+  return self => {
+    return catchAll_1(e => {
+      if (tsplus_module_6.isObject(e) && tagKey in e && e[tagKey] === tag) {
+        return onFailure(e);
+      }
+      return failNow_1(e, __tsplusTrace);
+    }, __tsplusTrace)(self);
   };
 }
 /**
  * @tsplus getter fncts.io.IO cause
  */
-export function cause(ma, __tsplusTrace) {
-  return matchCauseIO_1(succeedNow_1, () => succeedNow_1(tsplus_module_2.empty(), __tsplusTrace), __tsplusTrace)(ma);
+export function cause(self, __tsplusTrace) {
+  return matchCauseIO_1(succeedNow_1, () => succeedNow_1(tsplus_module_1.empty(), __tsplusTrace), __tsplusTrace)(self);
 }
 /**
  * @tsplus pipeable fncts.io.IO causeAsError
  */
 export function causeAsError(__tsplusTrace) {
-  return ma => {
-    return matchCauseIO_1(failNow_1, succeedNow_1, __tsplusTrace)(ma);
+  return self => {
+    return matchCauseIO_1(failNow_1, succeedNow_1, __tsplusTrace)(self);
   };
 }
 /**
@@ -285,46 +264,28 @@ export function causeAsError(__tsplusTrace) {
 export function checkInterruptible(f, __tsplusTrace) {
   return withFiberRuntime_1((_, status) => f(tsplus_module_8.fromBoolean(tsplus_module_7.interruption(status.runtimeFlags))), __tsplusTrace);
 }
-/**
- * Returns an IO that models the execution of this effect, followed by
- * the passing of its value to the specified continuation function `f`,
- * followed by the effect that it returns.
- *
- * @tsplus pipeable fncts.io.IO flatMap
- */
-function flatMap_1(f, __tsplusTrace) {
-  return ma => {
-    const io = new IOPrimitive(5 /* IOTag.OnSuccess */);
-    io.i0 = ma;
-    io.i1 = f;
-    io.trace = __tsplusTrace;
-    return io;
-  };
-}
-/**
- * @tsplus pipeable fncts.io.IO flatMapError
- */
-export function flatMapError(f, __tsplusTrace) {
-  return ma => {
-    return swapWith_1(effect => flatMap_1(f, __tsplusTrace)(effect), __tsplusTrace)(ma);
-  };
-}
 /**
  * @tsplus pipeable fncts.io.IO collect
  */
 export function collect(f, pf, __tsplusTrace) {
-  return ma => {
-    return collectIO_1(f, a => tsplus_module_6.map(succeedNow_1)(pf(a)), __tsplusTrace)(ma);
+  return self => {
+    return collectIO_1(f, a => tsplus_module_5.map(succeedNow_1)(pf(a)), __tsplusTrace)(self);
   };
 }
 /**
  * @tsplus pipeable fncts.io.IO collectIO
  */
-function collectIO_1(f, pf, __tsplusTrace) {
-  return ma => {
-    return flatMap_1(a => tsplus_module_6.getOrElse(() => fail_1(f, __tsplusTrace))(pf(a)), __tsplusTrace)(ma);
+function collectIO_1(onNothing, pf, __tsplusTrace) {
+  return self => {
+    return flatMap_1(a => tsplus_module_5.getOrElse(() => fail_1(onNothing, __tsplusTrace))(pf(a)), __tsplusTrace)(self);
   };
 }
+/**
+ * @tsplus static fncts.io.IOOps if
+ */
+export function cond(b, onTrue, onFalse, __tsplusTrace) {
+  return ifIO_1(onTrue, onFalse, __tsplusTrace)(succeedNow_1(b, __tsplusTrace));
+}
 /**
  * @tsplus static fncts.io.IOOps condIO
  */
@@ -340,7 +301,11 @@ export function condIO(b, onTrue, onFalse, __tsplusTrace) {
  * @tsplus static fncts.io.IOOps defer
  */
 function defer_1(io, __tsplusTrace) {
-  return flatMap_1(identity, __tsplusTrace)(succeed_1(io, __tsplusTrace));
+  const out = new IOPrimitive(5 /* IOTag.OnSuccess */);
+  out.i0 = unit_1;
+  out.i1 = io;
+  out.trace = __tsplusTrace;
+  return out;
 }
 /**
  * Returns a lazily constructed effect, whose construction may itself require effects.
@@ -353,7 +318,7 @@ export function deferTry(io, __tsplusTrace) {
     try {
       return io();
     } catch (u) {
-      throw new IOError(tsplus_module_2.fail(u));
+      throw new IOError(tsplus_module_1.fail(u));
     }
   }, __tsplusTrace);
 }
@@ -370,7 +335,7 @@ export function deferTryCatch(io, onThrow, __tsplusTrace) {
     try {
       return io();
     } catch (u) {
-      throw new IOError(tsplus_module_2.fail(onThrow(u)));
+      throw new IOError(tsplus_module_1.fail(onThrow(u)));
     }
   }, __tsplusTrace);
 }
@@ -379,51 +344,52 @@ export function deferTryCatch(io, onThrow, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.IO either
  */
-function either_1(ma, __tsplusTrace) {
-  return match_1(tsplus_module_9.left, tsplus_module_9.right, __tsplusTrace)(ma);
+function either_1(self, __tsplusTrace) {
+  return match_1(tsplus_module_9.left, tsplus_module_9.right, __tsplusTrace)(self);
 }
 /**
  * @tsplus pipeable fncts.io.IO errorAsCause
  */
 export function errorAsCause(__tsplusTrace) {
-  return ma => {
-    return matchIO_1(failCauseNow_1, succeedNow_1, __tsplusTrace)(ma);
+  return self => {
+    return matchIO_1(failCauseNow_1, succeedNow_1, __tsplusTrace)(self);
   };
 }
 /**
  * @tsplus getter fncts.io.IO eventually
  */
-function eventually_1(ma, __tsplusTrace) {
-  return orElse_1(() => eventually_1(ma, __tsplusTrace), __tsplusTrace)(ma);
+function eventually_1(self, __tsplusTrace) {
+  return orElse_1(() => eventually_1(self, __tsplusTrace), __tsplusTrace)(self);
+}
+/**
+ * @tsplus pipeable fncts.io.IO exitWith
+ */
+export function exitWith(f, __tsplusTrace) {
+  return self => {
+    return matchCauseIO_1(cause => f(tsplus_module_10.failCause(cause, __tsplusTrace)), a => f(tsplus_module_10.succeed(a, __tsplusTrace)), __tsplusTrace)(self);
+  };
 }
 /**
  * @tsplus pipeable fncts.io.IO extend
  */
 export function extend(f, __tsplusTrace) {
-  return wa => {
-    return matchIO_1(failNow_1, _ => succeed_1(() => f(wa), __tsplusTrace), __tsplusTrace)(wa);
+  return self => {
+    return matchIO_1(failNow_1, _ => succeed_1(() => f(self), __tsplusTrace), __tsplusTrace)(self);
   };
 }
 /**
  * @tsplus static fncts.io.IOOps fail
  */
 function fail_1(e, __tsplusTrace) {
-  return failCause_1(() => tsplus_module_2.fail(e()), __tsplusTrace);
-}
-/**
- * @tsplus static fncts.io.IOOps failNow
- */
-function failNow_1(e, __tsplusTrace) {
-  return failCause_1(() => tsplus_module_2.fail(e), __tsplusTrace);
+  return failCause_1(() => tsplus_module_1.fail(e()), __tsplusTrace);
 }
 /**
- * @tsplus static fncts.io.IOOps refailCause
+ * Returns an effect that models failure with the specified lazily-evaluated `Cause`.
+ *
+ * @tsplus static fncts.io.IOOps failCause
  */
-function refailCause_1(cause, __tsplusTrace) {
-  const io = new IOPrimitive(1 /* IOTag.Fail */);
-  io.i0 = () => cause;
-  io.trace = __tsplusTrace;
-  return io;
+function failCause_1(cause, __tsplusTrace) {
+  return flatMap_1(trace => refailCause_1(() => tsplus_module_1.traced(cause(), trace), __tsplusTrace), __tsplusTrace)(stackTrace_1(__tsplusTrace));
 }
 /**
  * Creates a `IO` that has failed with the specified `Cause`
@@ -437,24 +403,22 @@ function failCauseNow_1(cause, __tsplusTrace) {
   return io;
 }
 /**
- * Returns an effect that models failure with the specified lazily-evaluated `Cause`.
- *
- * @tsplus static fncts.io.IOOps failCause
+ * @tsplus static fncts.io.IOOps failNow
  */
-function failCause_1(cause, __tsplusTrace) {
-  return flatMap_1(trace => refailCause_1(tsplus_module_2.traced(cause(), trace), __tsplusTrace), __tsplusTrace)(stackTrace_1(__tsplusTrace));
+function failNow_1(e, __tsplusTrace) {
+  return failCause_1(() => tsplus_module_1.fail(e), __tsplusTrace);
 }
 /**
  * Returns the `FiberId` of the `Fiber` on which this `IO` is running
  *
  * @tsplus static fncts.io.IOOps fiberId
  */
-export const fiberId = /*#__PURE__*/fiberIdWith_1(id => succeedNow_1(id, fileName_1 + ":503:87"));
+export const fiberId = /*#__PURE__*/fiberIdWith_1(id => succeedNow_1(id, fileName_1 + ":435:87"));
 /**
  * @tsplus static fncts.io.IOOps fiberIdWith
  */
 function fiberIdWith_1(f) {
-  return withFiberRuntime_1(fiber => f(fiber.id), fileName_1 + ":509:29");
+  return withFiberRuntime_1(fiber => f(fiber.id), fileName_1 + ":441:29");
 }
 /**
  * Filters the collection using the specified effectual predicate.
@@ -462,7 +426,7 @@ function fiberIdWith_1(f) {
  * @tsplus static fncts.io.IOOps filter
  */
 function filter_1(as, f, __tsplusTrace) {
-  return map_1(b => b.result(), __tsplusTrace)(tsplus_module_11.foldLeft(succeedNow_1(tsplus_module_10.builder(), __tsplusTrace), (eff, a) => zipWith_1(f(a), (builder, p) => {
+  return map_1(b => b.result(), __tsplusTrace)(tsplus_module_12.foldLeft(succeedNow_1(tsplus_module_11.builder(), __tsplusTrace), (eff, a) => zipWith_1(f(a), (builder, p) => {
     if (p) {
       builder.append(a);
     }
@@ -481,8 +445,8 @@ export function filterMap(as, f, __tsplusTrace) {
 function filterMapWithIndex_1(as, f, __tsplusTrace) {
   return defer_1(() => {
     const bs = [];
-    return as_1(() => tsplus_module_12.from(bs), __tsplusTrace)(foreachWithIndexDiscard_1(as, (i, a) => map_1(b => {
-      if (tsplus_module_13.isJust(b)) {
+    return as_1(() => tsplus_module_13.from(bs), __tsplusTrace)(foreachWithIndexDiscard_1(as, (i, a) => map_1(b => {
+      if (tsplus_module_14.isJust(b)) {
         bs.push(b.value);
       }
     }, __tsplusTrace)(f(i, a)), __tsplusTrace));
@@ -507,18 +471,42 @@ export function filterOrFail(predicate, failWith, __tsplusTrace) {
     return filterOrElse_1(predicate, a => failNow_1(failWith(a), __tsplusTrace), __tsplusTrace)(fa);
   };
 }
+export function filterOrHalt(predicate, haltWith, __tsplusTrace) {
+  return fa => {
+    return filterOrElse_1(predicate, a => haltNow_1(haltWith(a), __tsplusTrace), __tsplusTrace)(fa);
+  };
+}
 /**
  * Returns an `IO` that yields the value of the first
  * `IO` to succeed.
  *
  * @tsplus static fncts.io.IOOps firstSuccess
  */
-export function firstSuccess(mas, __tsplusTrace) {
-  return mas.reduce((b, a) => orElse_1(() => a, __tsplusTrace)(b));
+export function firstSuccess(ios, __tsplusTrace) {
+  return ios.reduce((b, a) => orElse_1(() => a, __tsplusTrace)(b));
 }
-export function filterOrHalt(predicate, haltWith, __tsplusTrace) {
-  return fa => {
-    return filterOrElse_1(predicate, a => haltNow_1(haltWith(a), __tsplusTrace), __tsplusTrace)(fa);
+/**
+ * Returns an IO that models the execution of this effect, followed by
+ * the passing of its value to the specified continuation function `f`,
+ * followed by the effect that it returns.
+ *
+ * @tsplus pipeable fncts.io.IO flatMap
+ */
+function flatMap_1(f, __tsplusTrace) {
+  return self => {
+    const io = new IOPrimitive(5 /* IOTag.OnSuccess */);
+    io.i0 = self;
+    io.i1 = f;
+    io.trace = __tsplusTrace;
+    return io;
+  };
+}
+/**
+ * @tsplus pipeable fncts.io.IO flatMapError
+ */
+export function flatMapError(f, __tsplusTrace) {
+  return self => {
+    return swapWith_1(effect => flatMap_1(f, __tsplusTrace)(effect), __tsplusTrace)(self);
   };
 }
 /**
@@ -531,33 +519,32 @@ export function flatten(self, __tsplusTrace) {
  * Folds an `Iterable<A>` using an effectful function f, working sequentially from left to right.
  *
  * @tsplus static fncts.io.IOOps foldLeft
+ * @tsplus fluent fncts.Iterable foldLeftIO
  */
 function foldLeft_1(as, b, f, __tsplusTrace) {
-  return tsplus_module_11.foldLeft(succeedNow_1(b, __tsplusTrace), (acc, el) => flatMap_1(a => f(a, el), __tsplusTrace)(acc))(as);
+  return tsplus_module_12.foldLeft(succeedNow_1(b, __tsplusTrace), (acc, el) => flatMap_1(a => f(a, el), __tsplusTrace)(acc))(as);
 }
 /**
  * Combines an array of `IO`s using a `Monoid`
  *
  * @tsplus static fncts.io.IOOps foldMap
+ * @tsplus fluent fncts.Iterable foldMapIO
  */
-export function foldMap(as, f, /** @tsplus auto */M) {
-  return foldLeft_1(as, M.nat, (m, a) => map_1(a => M.combine(f(a))(m), fileName_1 + ":683:48")(a), fileName_1 + ":683:21");
-}
-function foldRightLoop(iterator, b, f, __tsplusTrace) {
-  const next = iterator.next();
-  return next.done ? b : f(next.value, foldRightLoop(iterator, b, f, __tsplusTrace));
+export function foldMap(ios, f, /** @tsplus auto */M) {
+  return foldLeft_1(ios, M.nat, (m, a) => map_1(a => M.combine(f(a))(m), fileName_1 + ":645:49")(a), fileName_1 + ":645:21");
 }
 /**
  * Performs a right-associative fold of an `Iterable<A>`
  *
  * @tsplus static fncts.io.IOOps foldRight
+ * @tsplus fluent fncts.Iterable foldRightIO
  */
 export function foldRight(as, b, f, __tsplusTrace) {
   return foldRightLoop(as[Symbol.iterator](), b, f, __tsplusTrace);
 }
-function foreachWithIndexDiscardLoop(iterator, f, i = 0, __tsplusTrace) {
+function foldRightLoop(iterator, b, f, __tsplusTrace) {
   const next = iterator.next();
-  return next.done ? unit_1 : flatMap_1(() => foreachWithIndexDiscardLoop(iterator, f, i + 1, __tsplusTrace), __tsplusTrace)(f(i, next.value));
+  return next.done ? b : f(next.value, foldRightLoop(iterator, b, f, __tsplusTrace));
 }
 /**
  * Applies the function `f` to each element of the `Iterable<A>` and
@@ -567,16 +554,27 @@ function foreachWithIndexDiscardLoop(iterator, f, i = 0, __tsplusTrace) {
  * If you do not need the results, see `foreachUnit` for a more efficient implementation.
  *
  * @tsplus static fncts.io.IOOps foreach
+ * @tsplus fluent fncts.Iterable foreachIO
  */
 function foreach_1(as, f, __tsplusTrace) {
   return defer_1(() => {
     const acc = [];
-    return as_1(() => tsplus_module_12.from(acc), __tsplusTrace)(foreachWithIndexDiscard_1(as, (_, a) => flatMap_1(b => {
+    return as_1(() => tsplus_module_13.from(acc), __tsplusTrace)(foreachWithIndexDiscard_1(as, (_, a) => flatMap_1(b => {
       acc.push(b);
       return unit_1;
     }, __tsplusTrace)(f(a)), __tsplusTrace));
   }, __tsplusTrace);
 }
+/**
+ * Applies the function `f` to each element of the `Iterable<A>` and runs
+ * produced IOs sequentially.
+ *
+ * @tsplus static fncts.io.IOOps foreachDiscard
+ * @tsplus fluent fncts.Iterable foreachDiscardIO
+ */
+function foreachDiscard_1(as, f, __tsplusTrace) {
+  return defer_1(() => foreachWithIndexDiscardLoop(as[Symbol.iterator](), (_, a) => f(a)), __tsplusTrace);
+}
 /**
  * Applies the function `f` to each element of the `Iterable<A>` and
  * returns the results in a new `Conc<B>`.
@@ -585,11 +583,12 @@ function foreach_1(as, f, __tsplusTrace) {
  * If you do not need the results, see `foreachUnit` for a more efficient implementation.
  *
  * @tsplus static fncts.io.IOOps foreachWithIndex
+ * @tsplus fluent fncts.Iterable foreachWithIndexIO
  */
 export function foreachWithIndex(as, f, __tsplusTrace) {
   return defer_1(() => {
     const acc = [];
-    return as_1(() => tsplus_module_12.from(acc), __tsplusTrace)(foreachWithIndexDiscard_1(as, (i, a) => flatMap_1(b => {
+    return as_1(() => tsplus_module_13.from(acc), __tsplusTrace)(foreachWithIndexDiscard_1(as, (i, a) => flatMap_1(b => {
       acc.push(b);
       return unit_1;
     }, __tsplusTrace)(f(i, a)), __tsplusTrace));
@@ -597,18 +596,14 @@ export function foreachWithIndex(as, f, __tsplusTrace) {
 }
 /**
  * @tsplus static fncts.io.IOOps foreachWithIndexDiscard
+ * @tsplus fluent fncts.Iterable foreachWithIndexDiscardIO
  */
 function foreachWithIndexDiscard_1(as, f, __tsplusTrace) {
   return defer_1(() => foreachWithIndexDiscardLoop(as[Symbol.iterator](), f), __tsplusTrace);
 }
-/**
- * Applies the function `f` to each element of the `Iterable<A>` and runs
- * produced IOs sequentially.
- *
- * @tsplus static fncts.io.IOOps foreachDiscard
- */
-function foreachDiscard_1(as, f, __tsplusTrace) {
-  return defer_1(() => foreachWithIndexDiscardLoop(as[Symbol.iterator](), (_, a) => f(a)), __tsplusTrace);
+function foreachWithIndexDiscardLoop(iterator, f, i = 0, __tsplusTrace) {
+  const next = iterator.next();
+  return next.done ? unit_1 : flatMap_1(() => foreachWithIndexDiscardLoop(iterator, f, i + 1, __tsplusTrace), __tsplusTrace)(f(i, next.value));
 }
 /**
  * Repeats this effect forever (until the first failure).
@@ -642,7 +637,7 @@ export function fromEitherNow(either, __tsplusTrace) {
  * @tsplus getter fncts.Eval toIO
  */
 export function fromEval(computation, __tsplusTrace) {
-  return succeed_1(() => tsplus_module_14.run(computation), __tsplusTrace);
+  return succeed_1(() => tsplus_module_15.run(computation), __tsplusTrace);
 }
 /**
  * Creates a `IO` from an exit value
@@ -650,7 +645,7 @@ export function fromEval(computation, __tsplusTrace) {
  * @tsplus static fncts.io.IOOps fromExit
  */
 export function fromExit(exit, __tsplusTrace) {
-  return defer_1(() => tsplus_module_15.match(failCauseNow_1, succeedNow_1)(exit()), __tsplusTrace);
+  return defer_1(() => tsplus_module_16.match(failCauseNow_1, succeedNow_1)(exit()), __tsplusTrace);
 }
 /**
  * Creates a `IO` from an exit value
@@ -659,7 +654,7 @@ export function fromExit(exit, __tsplusTrace) {
  * @tsplus getter fncts.Exit toIO
  */
 export function fromExitNow(exit, __tsplusTrace) {
-  return tsplus_module_15.match(failCauseNow_1, succeedNow_1)(exit);
+  return tsplus_module_16.match(failCauseNow_1, succeedNow_1)(exit);
 }
 /**
  * Lifts a `Maybe` into an `IO` but preserves the error as a `Maybe` in the error channel, making it easier to compose
@@ -668,14 +663,23 @@ export function fromExitNow(exit, __tsplusTrace) {
  * @tsplus static fncts.io.IOOps fromMaybe
  */
 export function fromMaybe(maybe, __tsplusTrace) {
-  return flatMap_1(m => tsplus_module_16.match(() => failNow_1(tsplus_module_3.nothing(__tsplusTrace), __tsplusTrace), succeedNow_1)(m), __tsplusTrace)(succeed_1(maybe, __tsplusTrace));
+  return flatMap_1(m => tsplus_module_17.match(() => failNow_1(tsplus_module_2.nothing(__tsplusTrace), __tsplusTrace), succeedNow_1)(m), __tsplusTrace)(succeed_1(maybe, __tsplusTrace));
 }
 /**
  * @tsplus static fncts.io.IOOps fromMaybeNow
  * @tsplus getter fncts.Maybe toIO
  */
 export function fromMaybeNow(maybe, __tsplusTrace) {
-  return tsplus_module_16.match(() => failNow_1(new tsplus_module_17.NoSuchElementError("IO.fromMaybeNow"), __tsplusTrace), succeedNow_1)(maybe);
+  return tsplus_module_17.match(() => failNow_1(new tsplus_module_18.NoSuchElementError("IO.fromMaybeNow"), __tsplusTrace), succeedNow_1)(maybe);
+}
+/**
+ * Create an IO that when executed will construct `promise` and wait for its result,
+ * errors will produce failure as `unknown`
+ *
+ * @tsplus static fncts.io.IOOps fromPromise
+ */
+export function fromPromise(promise, __tsplusTrace) {
+  return fromPromiseCatch_1(promise, identity, __tsplusTrace);
 }
 /**
  * Create an IO that when executed will construct `promise` and wait for its result,
@@ -688,15 +692,6 @@ function fromPromiseCatch_1(promise, onReject, __tsplusTrace) {
     promise().then(a => k(succeedNow_1(a, __tsplusTrace))).catch(e => k(failNow_1(onReject(e), __tsplusTrace)));
   });
 }
-/**
- * Create an IO that when executed will construct `promise` and wait for its result,
- * errors will produce failure as `unknown`
- *
- * @tsplus static fncts.io.IOOps fromPromise
- */
-export function fromPromise(promise, __tsplusTrace) {
-  return fromPromiseCatch_1(promise, identity, __tsplusTrace);
-}
 /**
  * Like fromPromise but produces a defect in case of errors
  *
@@ -713,7 +708,13 @@ export function fromPromiseHalt(promise, __tsplusTrace) {
  * @tsplus getter fncts.io.IO get
  */
 export function get(ma, __tsplusTrace) {
-  return matchCauseIO_1(cause => failCauseNow_1(tsplus_module_2.map(tsplus_module_3.just)(cause), __tsplusTrace), ma => tsplus_module_16.match(() => failNow_1(tsplus_module_3.nothing(__tsplusTrace), __tsplusTrace), succeedNow_1)(ma), __tsplusTrace)(ma);
+  return matchCauseIO_1(cause => failCauseNow_1(tsplus_module_1.map(tsplus_module_2.just)(cause), __tsplusTrace), ma => tsplus_module_17.match(() => failNow_1(tsplus_module_2.nothing(__tsplusTrace), __tsplusTrace), succeedNow_1)(ma), __tsplusTrace)(ma);
+}
+/**
+ * @tsplus static fncts.io.IOOps getFiberRefs
+ */
+export function getFiberRefs(__tsplusTrace) {
+  return withFiberRuntime_1(fiberState => succeed_1(() => fiberState.getFiberRefs(), __tsplusTrace), __tsplusTrace);
 }
 /**
  * Extracts the optional value, or returns the given 'orElse'.
@@ -722,7 +723,7 @@ export function get(ma, __tsplusTrace) {
  */
 export function getOrElse(orElse, __tsplusTrace) {
   return ma => {
-    return map_1(ma => tsplus_module_6.getOrElse(orElse)(ma), __tsplusTrace)(ma);
+    return map_1(ma => tsplus_module_5.getOrElse(orElse)(ma), __tsplusTrace)(ma);
   };
 }
 /**
@@ -732,17 +733,9 @@ export function getOrElse(orElse, __tsplusTrace) {
  */
 export function getOrElseIO(orElse, __tsplusTrace) {
   return ma => {
-    return flatMap_1(mab => tsplus_module_6.getOrElse(orElse)(tsplus_module_6.map(succeedNow_1)(mab)), __tsplusTrace)(ma);
+    return flatMap_1(mab => tsplus_module_5.getOrElse(orElse)(tsplus_module_5.map(succeedNow_1)(mab)), __tsplusTrace)(ma);
   };
 }
-/**
- * Lifts a Maybe into an IO. If the option is `Nothing`, fail with `onNothing`.
- *
- * @tsplus static fncts.io.IOOps getOrFailWith
- */
-function getOrFailWith_1(maybe, onNothing, __tsplusTrace) {
-  return defer_1(() => tsplus_module_16.match(() => fail_1(onNothing, __tsplusTrace), succeedNow_1)(maybe), __tsplusTrace);
-}
 /**
  * Lifts a Maybe into a IO, if the Maybe is `Nothing` it fails with Unit.
  *
@@ -752,10 +745,12 @@ export function getOrFailUnit(option, __tsplusTrace) {
   return getOrFailWith_1(option, () => undefined, __tsplusTrace);
 }
 /**
- * @tsplus static fncts.io.IOOps getFiberRefs
+ * Lifts a Maybe into an IO. If the option is `Nothing`, fail with `onNothing`.
+ *
+ * @tsplus static fncts.io.IOOps getOrFailWith
  */
-export function getFiberRefs(__tsplusTrace) {
-  return withFiberRuntime_1(fiberState => succeed_1(() => fiberState.getFiberRefs(), __tsplusTrace), __tsplusTrace);
+function getOrFailWith_1(maybe, onNothing, __tsplusTrace) {
+  return defer_1(() => tsplus_module_17.match(() => fail_1(onNothing, __tsplusTrace), succeedNow_1)(maybe), __tsplusTrace);
 }
 /**
  * Creates an `IO` that halts with the specified lazily-evaluated defect.
@@ -765,7 +760,7 @@ export function getFiberRefs(__tsplusTrace) {
  * @tsplus static fncts.io.IOOps halt
  */
 export function halt(e, __tsplusTrace) {
-  return failCause_1(() => tsplus_module_2.halt(e(), tsplus_module_18.none), __tsplusTrace);
+  return failCause_1(() => tsplus_module_1.halt(e(), tsplus_module_19.none), __tsplusTrace);
 }
 /**
  * Creates an `IO` that halts with the specified defect
@@ -775,7 +770,7 @@ export function halt(e, __tsplusTrace) {
  * @tsplus static fncts.io.IOOps haltNow
  */
 function haltNow_1(e, __tsplusTrace) {
-  return failCauseNow_1(tsplus_module_2.halt(e, tsplus_module_18.none), __tsplusTrace);
+  return failCauseNow_1(tsplus_module_1.halt(e, tsplus_module_19.none), __tsplusTrace);
 }
 /**
  * @tsplus pipeable fncts.io.IO ifIO
@@ -786,32 +781,26 @@ function ifIO_1(onFalse, onTrue, __tsplusTrace) {
   };
 }
 /**
- * @tsplus static fncts.io.IOOps if
+ * @tsplus getter fncts.io.IO ignore
  */
-export function cond(b, onTrue, onFalse, __tsplusTrace) {
-  return ifIO_1(onTrue, onFalse, __tsplusTrace)(succeedNow_1(b, __tsplusTrace));
-}
-/**
- * @tsplus getter fncts.io.IO ignore
- */
-export function ignore(fa, __tsplusTrace) {
-  return match_1(() => undefined, () => undefined, __tsplusTrace)(fa);
+export function ignore(self, __tsplusTrace) {
+  return match_1(() => undefined, () => undefined, __tsplusTrace)(self);
 }
 /**
  * Folds a `IO` to a boolean describing whether or not it is a failure
  *
  * @tsplus getter fncts.io.IO isFailure
  */
-export function isFailure(ma, __tsplusTrace) {
-  return match_1(() => true, () => false, __tsplusTrace)(ma);
+export function isFailure(self, __tsplusTrace) {
+  return match_1(() => true, () => false, __tsplusTrace)(self);
 }
 /**
  * Folds a `IO` to a boolean describing whether or not it is a success
  *
  * @tsplus getter fncts.io.IO isSuccess
  */
-export function isSuccess(ma, __tsplusTrace) {
-  return match_1(() => false, () => true, __tsplusTrace)(ma);
+export function isSuccess(self, __tsplusTrace) {
+  return match_1(() => false, () => true, __tsplusTrace)(self);
 }
 /**
  * Iterates with the specified effectual function. The moral equivalent of:
@@ -831,6 +820,12 @@ export function isSuccess(ma, __tsplusTrace) {
 function iterate_1(initial, cont, body, __tsplusTrace) {
   return cont(initial) ? flatMap_1(a => iterate_1(a, cont, body, __tsplusTrace), __tsplusTrace)(body(initial)) : succeedNow_1(initial, __tsplusTrace);
 }
+/**
+ * @tsplus getter fncts.io.IO just
+ */
+export function just(self) {
+  return matchIO_1(e => fail_1(() => tsplus_module_2.just(e, fileName_1 + ":1034:24"), fileName_1 + ":1034:19"), a => tsplus_module_17.match(() => fail_1(() => tsplus_module_2.nothing(fileName_1 + ":1035:41"), fileName_1 + ":1035:33"), succeedNow_1)(a), fileName_1 + ":1033:22")(self);
+}
 /**
  *  Returns an IO with the value on the left part.
  *
@@ -839,27 +834,15 @@ function iterate_1(initial, cont, body, __tsplusTrace) {
 export function left(a, __tsplusTrace) {
   return flatMap_1(a => succeedNow_1(tsplus_module_9.left(a, __tsplusTrace), __tsplusTrace), __tsplusTrace)(succeed_1(a, __tsplusTrace));
 }
-/**
- * @tsplus getter fncts.io.IO just
- */
-export function just(self) {
-  return matchIO_1(e => fail_1(() => tsplus_module_3.just(e, fileName_1 + ":1088:24"), fileName_1 + ":1088:19"), a => tsplus_module_16.match(() => fail_1(() => tsplus_module_3.nothing(fileName_1 + ":1089:41"), fileName_1 + ":1089:33"), succeedNow_1)(a), fileName_1 + ":1087:22")(self);
-}
 /**
  * @tsplus static fncts.io.IOOps log
  */
 function log_1(message, __tsplusTrace) {
   return withFiberRuntime_1(fiber => {
-    fiber.log(message, tsplus_module_2.empty(), tsplus_module_3.nothing(__tsplusTrace), __tsplusTrace);
+    fiber.log(message, tsplus_module_1.empty(), tsplus_module_2.nothing(__tsplusTrace), __tsplusTrace);
     return unit_1;
   }, __tsplusTrace);
 }
-/**
- * @tsplus static fncts.io.IOOps show
- */
-export function show(message, options, __tsplusTrace) {
-  return log_1(() => showWithOptions(message, options), __tsplusTrace);
-}
 /**
  * Loops with the specified effectual function, collecting the results into a
  * list. The moral equivalent of:
@@ -880,9 +863,9 @@ export function show(message, options, __tsplusTrace) {
  */
 function loop_1(initial, cont, inc, body, __tsplusTrace) {
   if (cont(initial)) {
-    return flatMap_1(a => map_1(as => tsplus_module_10.prepend(a)(as), __tsplusTrace)(loop_1(inc(initial), cont, inc, body, __tsplusTrace)), __tsplusTrace)(body(initial));
+    return flatMap_1(a => map_1(as => tsplus_module_11.prepend(a)(as), __tsplusTrace)(loop_1(inc(initial), cont, inc, body, __tsplusTrace)), __tsplusTrace)(body(initial));
   } else {
-    return succeedNow_1(tsplus_module_19.empty(), __tsplusTrace);
+    return succeedNow_1(tsplus_module_20.empty(), __tsplusTrace);
   }
 }
 /**
@@ -913,8 +896,8 @@ export function loopUnit(initial, cont, inc, body, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO map
  */
 function map_1(f, __tsplusTrace) {
-  return fa => {
-    return flatMap_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(fa);
+  return self => {
+    return flatMap_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(self);
   };
 }
 /**
@@ -927,16 +910,10 @@ function map_1(f, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO mapError
  */
 function mapError_1(f, __tsplusTrace) {
-  return fea => {
-    return matchCauseIO_1(cause => failCauseNow_1(tsplus_module_2.map(f)(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(fea);
+  return self => {
+    return matchCauseIO_1(cause => failCauseNow_1(tsplus_module_1.map(f)(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(self);
   };
 }
-/**
- * @tsplus static fncts.io.IOOps mapTryCatch
- */
-export function mapTryCatch(io, f, onThrow, __tsplusTrace) {
-  return flatMap_1(a => tryCatch_1(() => f(a), onThrow, __tsplusTrace), __tsplusTrace)(io);
-}
 /**
  * Returns an IO with its full cause of failure mapped using
  * the specified function. This can be used to transform errors
@@ -945,8 +922,29 @@ export function mapTryCatch(io, f, onThrow, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO mapErrorCause
  */
 function mapErrorCause_1(f, __tsplusTrace) {
-  return ma => {
-    return matchCauseIO_1(cause => failCauseNow_1(f(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(ma);
+  return self => {
+    return matchCauseIO_1(cause => failCauseNow_1(f(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(self);
+  };
+}
+/**
+ * @tsplus static fncts.io.IOOps mapTryCatch
+ * @tsplus pipeable fncts.io.IO mapTryCatch
+ */
+export function mapTryCatch(f, onThrow, __tsplusTrace) {
+  return self => {
+    return flatMap_1(a => tryCatch_1(() => f(a), onThrow, __tsplusTrace), __tsplusTrace)(self);
+  };
+}
+/**
+ * Folds over the failure value or the success value to yield an IO that
+ * does not fail, but succeeds with the value returned by the left or right
+ * function passed to `match_`.
+ *
+ * @tsplus pipeable fncts.io.IO match
+ */
+function match_1(onFailure, onSuccess, __tsplusTrace) {
+  return self => {
+    return matchIO_1(e => succeedNow_1(onFailure(e), __tsplusTrace), a => succeedNow_1(onSuccess(a), __tsplusTrace), __tsplusTrace)(self);
   };
 }
 /**
@@ -979,19 +977,7 @@ function matchCauseIO_1(onFailure, onSuccess, __tsplusTrace) {
  */
 function matchIO_1(onFailure, onSuccess, __tsplusTrace) {
   return self => {
-    return matchCauseIO_1(cause => tsplus_module_4.match(onFailure, failCauseNow_1)(tsplus_module_2.failureOrCause(cause)), onSuccess, __tsplusTrace)(self);
-  };
-}
-/**
- * Folds over the failure value or the success value to yield an IO that
- * does not fail, but succeeds with the value returned by the left or right
- * function passed to `match_`.
- *
- * @tsplus pipeable fncts.io.IO match
- */
-function match_1(onFailure, onSuccess, __tsplusTrace) {
-  return self => {
-    return matchIO_1(e => succeedNow_1(onFailure(e), __tsplusTrace), a => succeedNow_1(onSuccess(a), __tsplusTrace), __tsplusTrace)(self);
+    return matchCauseIO_1(cause => tsplus_module_4.match(onFailure, failCauseNow_1)(tsplus_module_1.failureOrCause(cause)), onSuccess, __tsplusTrace)(self);
   };
 }
 /**
@@ -1000,42 +986,109 @@ function match_1(onFailure, onSuccess, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO matchTraceIO
  */
 export function matchTraceIO(onFailure, onSuccess, __tsplusTrace) {
-  return ma => {
-    return matchCauseIO_1(cause => tsplus_module_4.match(([e, trace]) => onFailure(e, trace), failCauseNow_1)(tsplus_module_2.failureTraceOrCause(cause)), onSuccess, __tsplusTrace)(ma);
+  return self => {
+    return matchCauseIO_1(cause => tsplus_module_4.match(([e, trace]) => onFailure(e, trace), failCauseNow_1)(tsplus_module_1.failureTraceOrCause(cause)), onSuccess, __tsplusTrace)(self);
   };
 }
 /**
  * @tsplus getter fncts.io.IO maybe
  */
-export function maybe(io, __tsplusTrace) {
-  return match_1(() => tsplus_module_3.nothing(__tsplusTrace), tsplus_module_3.just, __tsplusTrace)(io);
+export function maybe(self, __tsplusTrace) {
+  return match_1(() => tsplus_module_2.nothing(__tsplusTrace), tsplus_module_2.just, __tsplusTrace)(self);
 }
 /**
  * @tsplus getter fncts.io.IO merge
  */
-export function merge(io, __tsplusTrace) {
-  return matchIO_1(succeedNow_1, succeedNow_1, __tsplusTrace)(io);
+export function merge(self, __tsplusTrace) {
+  return matchIO_1(succeedNow_1, succeedNow_1, __tsplusTrace)(self);
 }
 /**
  * Merges an `Iterable<IO>` to a single IO, working sequentially.
  *
  * @tsplus static fncts.io.IOOps mergeAll
  */
-export function mergeAll(fas, b, f, __tsplusTrace) {
-  return tsplus_module_11.foldLeft(succeed_1(() => b, __tsplusTrace), (b, a) => zipWith_1(a, f, __tsplusTrace)(b))(fas);
+export function mergeAll(ios, b, f, __tsplusTrace) {
+  return tsplus_module_12.foldLeft(succeed_1(() => b, __tsplusTrace), (b, a) => zipWith_1(a, f, __tsplusTrace)(b))(ios);
+}
+/**
+ * @tsplus static fncts.io.IOOps refailCause
+ */
+function refailCause_1(cause, __tsplusTrace) {
+  const io = new IOPrimitive(1 /* IOTag.Fail */);
+  io.i0 = cause;
+  io.trace = __tsplusTrace;
+  return io;
+}
+/**
+ * @tsplus static fncts.io.IOOps refailCauseNow
+ */
+export function refailCauseNow(cause, __tsplusTrace) {
+  const io = new IOPrimitive(1 /* IOTag.Fail */);
+  io.i0 = () => cause;
+  io.trace = __tsplusTrace;
+  return io;
+}
+/**
+ * @tsplus static fncts.io.IOOps show
+ */
+export function show(message, options, __tsplusTrace) {
+  return log_1(() => showWithOptions(message, options), __tsplusTrace);
 }
 /**
  * @tsplus static fncts.io.IOOps nothing
  */
-const nothing_1 = /*#__PURE__*/succeedNow_1(/*#__PURE__*/tsplus_module_3.nothing(fileName_1 + ":1338:45"), fileName_1 + ":1338:37");
+const nothing_1 = /*#__PURE__*/succeedNow_1(/*#__PURE__*/tsplus_module_2.nothing(fileName_1 + ":1311:45"), fileName_1 + ":1311:37");
 export const nothing = nothing_1;
+/**
+ * Returns an `IO` that submerges an `Either` into the `IO`.
+ *
+ * @tsplus getter fncts.io.IO absolve
+ */
+export function absolve(self, __tsplusTrace) {
+  return flatMap_1(ea => tsplus_module_4.match(failNow_1, succeedNow_1)(ea), __tsplusTrace)(self);
+}
+/**
+ * @tsplus static fncts.io.IOOps attempt
+ */
+export function attempt(effect, __tsplusTrace) {
+  return defer_1(() => {
+    try {
+      return tsplus_module_10.succeed(effect(), __tsplusTrace);
+    } catch (u) {
+      return withFiberRuntime_1(fiberState => {
+        if (!fiberState.isFatal(u)) {
+          throw new IOError(tsplus_module_1.fail(u));
+        } else {
+          throw u;
+        }
+      }, __tsplusTrace);
+    }
+  }, __tsplusTrace);
+}
+/**
+ * Exposes all parallel errors in a single call
+ *
+ * @tsplus pipeable fncts.io.IO concurrentErrors
+ */
+export function concurrentErrors(__tsplusTrace) {
+  return self => {
+    return matchCauseIO_1(cause => {
+      const f = tsplus_module_1.failures(cause);
+      if (tsplus_module_21.length(f) === 0) {
+        return failCauseNow_1(cause, __tsplusTrace);
+      } else {
+        return failNow_1(f, __tsplusTrace);
+      }
+    }, succeedNow_1, __tsplusTrace)(self);
+  };
+}
 /**
  * Converts an option on errors into an option on values.
  *
  * @tsplus getter fncts.io.IO optional
  */
-export function optional(ma, __tsplusTrace) {
-  return matchIO_1(me => tsplus_module_16.match(() => succeedNow_1(tsplus_module_3.nothing(__tsplusTrace), __tsplusTrace), failNow_1)(me), a => succeedNow_1(tsplus_module_3.just(a, __tsplusTrace), __tsplusTrace), __tsplusTrace)(ma);
+export function optional(self, __tsplusTrace) {
+  return matchIO_1(me => tsplus_module_17.match(() => succeedNow_1(tsplus_module_2.nothing(__tsplusTrace), __tsplusTrace), failNow_1)(me), a => succeedNow_1(tsplus_module_2.just(a, __tsplusTrace), __tsplusTrace), __tsplusTrace)(self);
 }
 /**
  * Returns the logical disjunction of the `Boolean` value returned by this
@@ -1046,17 +1099,17 @@ export function optional(ma, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO or
  * @tsplus pipeable-operator fncts.io.IO ||
  */
-export function or(mb, __tsplusTrace) {
-  return ma => {
-    return flatMap_1(b => b ? succeedNow_1(true, __tsplusTrace) : mb, __tsplusTrace)(ma);
+export function or(or, __tsplusTrace) {
+  return self => {
+    return flatMap_1(b => b ? succeedNow_1(true, __tsplusTrace) : or, __tsplusTrace)(self);
   };
 }
 /**
  * @tsplus pipeable fncts.io.IO orElse
  */
 function orElse_1(that, __tsplusTrace) {
-  return ma => {
-    return tryOrElse_1(that, succeedNow_1, __tsplusTrace)(ma);
+  return self => {
+    return tryOrElse_1(that, succeedNow_1, __tsplusTrace)(self);
   };
 }
 /**
@@ -1071,61 +1124,44 @@ export function orElseEither(that, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO orElseFail
  */
 export function orElseFail(e, __tsplusTrace) {
-  return ma => {
-    return orElse_1(() => fail_1(e, __tsplusTrace), __tsplusTrace)(ma);
+  return self => {
+    return orElse_1(() => fail_1(e, __tsplusTrace), __tsplusTrace)(self);
   };
 }
 /**
  * @tsplus pipeable fncts.io.IO orElseMaybe
  */
 export function orElseMaybe(that, __tsplusTrace) {
-  return ma => {
-    return catchAll_1(me => tsplus_module_16.match(that, e => fail_1(() => tsplus_module_3.just(e, __tsplusTrace), __tsplusTrace))(me), __tsplusTrace)(ma);
+  return self => {
+    return catchAll_1(me => tsplus_module_17.match(that, e => fail_1(() => tsplus_module_2.just(e, __tsplusTrace), __tsplusTrace))(me), __tsplusTrace)(self);
   };
 }
 /**
  * @tsplus pipeable fncts.io.IO orElseSucceed
  */
 export function orElseSucceed(a, __tsplusTrace) {
-  return ma => {
-    return orElse_1(() => succeed_1(a, __tsplusTrace), __tsplusTrace)(ma);
+  return self => {
+    return orElse_1(() => succeed_1(a, __tsplusTrace), __tsplusTrace)(self);
   };
 }
 /**
  * @tsplus getter fncts.io.IO orHalt
  */
-export function orHalt(ma, __tsplusTrace) {
-  return orHaltWith_1(identity, __tsplusTrace)(ma);
+export function orHalt(self, __tsplusTrace) {
+  return orHaltWith_1(identity, __tsplusTrace)(self);
 }
 /**
  * @tsplus getter fncts.io.IO orHaltKeep
  */
-export function orHaltKeep(ma, __tsplusTrace) {
-  return matchCauseIO_1(cause => failCauseNow_1(tsplus_module_2.flatMap(tsplus_module_2.halt)(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(ma);
+export function orHaltKeep(self, __tsplusTrace) {
+  return matchCauseIO_1(cause => failCauseNow_1(tsplus_module_1.flatMap(tsplus_module_1.halt)(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(self);
 }
 /**
  * @tsplus pipeable fncts.io.IO orHaltWith
  */
 function orHaltWith_1(f, __tsplusTrace) {
-  return ma => {
-    return matchIO_1(e => haltNow_1(f(e), __tsplusTrace), succeedNow_1, __tsplusTrace)(ma);
-  };
-}
-/**
- * Exposes all parallel errors in a single call
- *
- * @tsplus pipeable fncts.io.IO concurrentErrors
- */
-export function concurrentErrors(__tsplusTrace) {
-  return io => {
-    return matchCauseIO_1(cause => {
-      const f = tsplus_module_2.failures(cause);
-      if (tsplus_module_20.length(f) === 0) {
-        return failCauseNow_1(cause, __tsplusTrace);
-      } else {
-        return failNow_1(f, __tsplusTrace);
-      }
-    }, succeedNow_1, __tsplusTrace)(io);
+  return self => {
+    return matchIO_1(e => haltNow_1(f(e), __tsplusTrace), succeedNow_1, __tsplusTrace)(self);
   };
 }
 /**
@@ -1135,7 +1171,7 @@ export function concurrentErrors(__tsplusTrace) {
  * @tsplus static fncts.io.IOOps partition
  */
 export function partition(as, f, __tsplusTrace) {
-  return map_1(c => tsplus_module_10.separate(c), __tsplusTrace)(foreach_1(as, a => either_1(f(a), __tsplusTrace), __tsplusTrace));
+  return map_1(c => tsplus_module_11.separate(c), __tsplusTrace)(foreach_1(as, a => either_1(f(a), __tsplusTrace), __tsplusTrace));
 }
 /**
  * Keeps some of the errors, and terminates the fiber with the rest
@@ -1143,8 +1179,8 @@ export function partition(as, f, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO refineOrHalt
  */
 export function refineOrHalt(pf, __tsplusTrace) {
-  return fa => {
-    return refineOrHaltWith_1(pf, identity, __tsplusTrace)(fa);
+  return self => {
+    return refineOrHaltWith_1(pf, identity, __tsplusTrace)(self);
   };
 }
 /**
@@ -1154,8 +1190,8 @@ export function refineOrHalt(pf, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO refineOrHaltWith
  */
 function refineOrHaltWith_1(pf, f, __tsplusTrace) {
-  return fa => {
-    return catchAll_1(e => tsplus_module_16.match(() => haltNow_1(f(e), __tsplusTrace), failNow_1)(pf(e)), __tsplusTrace)(fa);
+  return self => {
+    return catchAll_1(e => tsplus_module_17.match(() => haltNow_1(f(e), __tsplusTrace), failNow_1)(pf(e)), __tsplusTrace)(self);
   };
 }
 /**
@@ -1165,8 +1201,8 @@ function refineOrHaltWith_1(pf, f, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO reject
  */
 export function reject(pf, __tsplusTrace) {
-  return fa => {
-    return rejectIO_1(a => tsplus_module_6.map(failNow_1)(pf(a)), __tsplusTrace)(fa);
+  return self => {
+    return rejectIO_1(a => tsplus_module_5.map(failNow_1)(pf(a)), __tsplusTrace)(self);
   };
 }
 /**
@@ -1177,8 +1213,8 @@ export function reject(pf, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO rejectIO
  */
 function rejectIO_1(pf, __tsplusTrace) {
-  return fa => {
-    return flatMap_1(a => tsplus_module_16.match(() => succeedNow_1(a, __tsplusTrace), io => flatMap_1(failNow_1, __tsplusTrace)(io))(pf(a)), __tsplusTrace)(fa);
+  return self => {
+    return flatMap_1(a => tsplus_module_17.match(() => succeedNow_1(a, __tsplusTrace), io => flatMap_1(failNow_1, __tsplusTrace)(io))(pf(a)), __tsplusTrace)(self);
   };
 }
 /**
@@ -1186,9 +1222,18 @@ function rejectIO_1(pf, __tsplusTrace) {
  *
  * @tsplus pipeable fncts.io.IO repeatN
  */
-function repeatN_1(n, __tsplusTrace) {
-  return ma => {
-    return flatMap_1(a => n <= 0 ? succeed_1(() => a, __tsplusTrace) : repeatN_1(n - 1, __tsplusTrace)(ma), __tsplusTrace)(ma);
+export function repeatN_(n, __tsplusTrace) {
+  return self => {
+    return flatMap_1(a => {
+      let i = n;
+      let s = a;
+      return as_1(() => s, __tsplusTrace)(whileLoop_1(() => i > 0, () => {
+        i -= 1;
+        return self;
+      }, a => {
+        s = a;
+      }));
+    }, __tsplusTrace)(self);
   };
 }
 /**
@@ -1197,8 +1242,8 @@ function repeatN_1(n, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO repeatUntil
  */
 export function repeatUntil(f, __tsplusTrace) {
-  return ma => {
-    return repeatUntilIO_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(ma);
+  return self => {
+    return repeatUntilIO_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(self);
   };
 }
 /**
@@ -1207,8 +1252,8 @@ export function repeatUntil(f, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO repeatUntilIO
  */
 function repeatUntilIO_1(f, __tsplusTrace) {
-  return ma => {
-    return flatMap_1(a => flatMap_1(b => b ? succeed_1(() => a, __tsplusTrace) : repeatUntilIO_1(f, __tsplusTrace)(ma), __tsplusTrace)(f(a)), __tsplusTrace)(ma);
+  return self => {
+    return flatMap_1(a => flatMap_1(b => b ? succeed_1(() => a, __tsplusTrace) : repeatUntilIO_1(f, __tsplusTrace)(self), __tsplusTrace)(f(a)), __tsplusTrace)(self);
   };
 }
 /**
@@ -1217,8 +1262,8 @@ function repeatUntilIO_1(f, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO repeatWhile
  */
 export function repeatWhile(f, __tsplusTrace) {
-  return ma => {
-    return repeatWhileIO_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(ma);
+  return self => {
+    return repeatWhileIO_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(self);
   };
 }
 /**
@@ -1227,8 +1272,8 @@ export function repeatWhile(f, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO repeatWhileIO
  */
 function repeatWhileIO_1(f, __tsplusTrace) {
-  return ma => {
-    return flatMap_1(a => flatMap_1(b => b ? repeatWhileIO_1(f, __tsplusTrace)(ma) : succeed_1(() => a, __tsplusTrace), __tsplusTrace)(f(a)), __tsplusTrace)(ma);
+  return self => {
+    return flatMap_1(a => flatMap_1(b => b ? repeatWhileIO_1(f, __tsplusTrace)(self) : succeed_1(() => a, __tsplusTrace), __tsplusTrace)(f(a)), __tsplusTrace)(self);
   };
 }
 /**
@@ -1236,15 +1281,15 @@ function repeatWhileIO_1(f, __tsplusTrace) {
  */
 export function replicate(n, __tsplusTrace) {
   return self => {
-    return tsplus_module_22.map(() => self)(tsplus_module_21.range(0, n));
+    return tsplus_module_22.range(0, n).map(() => self);
   };
 }
 /**
  * @tsplus pipeable fncts.io.IO require
  */
 export function require(error, __tsplusTrace) {
-  return ma => {
-    return flatMap_1(ma => tsplus_module_16.match(() => fail_1(error, __tsplusTrace), succeedNow_1)(ma), __tsplusTrace)(ma);
+  return self => {
+    return flatMap_1(ma => tsplus_module_17.match(() => fail_1(error, __tsplusTrace), succeedNow_1)(ma), __tsplusTrace)(self);
   };
 }
 /**
@@ -1253,16 +1298,16 @@ export function require(error, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.IO result
  */
-export function result(ma, __tsplusTrace) {
-  return matchCauseIO_1(cause => succeedNow_1(tsplus_module_23.failCause(cause, __tsplusTrace), __tsplusTrace), a => succeedNow_1(tsplus_module_23.succeed(a, __tsplusTrace), __tsplusTrace), __tsplusTrace)(ma);
+export function result(self, __tsplusTrace) {
+  return matchCauseIO_1(cause => succeedNow_1(tsplus_module_10.failCause(cause, __tsplusTrace), __tsplusTrace), a => succeedNow_1(tsplus_module_10.succeed(a, __tsplusTrace), __tsplusTrace), __tsplusTrace)(self);
 }
 /**
  * Recover from the unchecked failure of the `IO`. (opposite of `orHalt`)
  *
  * @tsplus getter fncts.io.IO resurrect
  */
-export function resurrect(io, __tsplusTrace) {
-  return unrefineWith_1(tsplus_module_3.just, identity, __tsplusTrace)(io);
+export function resurrect(self, __tsplusTrace) {
+  return unrefineWith_1(tsplus_module_2.just, identity, __tsplusTrace)(self);
 }
 /**
  * Retries this effect until its error satisfies the specified predicate.
@@ -1270,8 +1315,8 @@ export function resurrect(io, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO retryUntil
  */
 export function retryUntil(f, __tsplusTrace) {
-  return fa => {
-    return retryUntilIO_1(e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace)(fa);
+  return self => {
+    return retryUntilIO_1(e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace)(self);
   };
 }
 /**
@@ -1280,8 +1325,8 @@ export function retryUntil(f, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO retryUntilIO
  */
 function retryUntilIO_1(f, __tsplusTrace) {
-  return fa => {
-    return catchAll_1(e => flatMap_1(b => b ? failNow_1(e, __tsplusTrace) : retryUntilIO_1(f, __tsplusTrace)(fa), __tsplusTrace)(f(e)), __tsplusTrace)(fa);
+  return self => {
+    return catchAll_1(e => flatMap_1(b => b ? failNow_1(e, __tsplusTrace) : retryUntilIO_1(f, __tsplusTrace)(self), __tsplusTrace)(f(e)), __tsplusTrace)(self);
   };
 }
 /**
@@ -1290,8 +1335,8 @@ function retryUntilIO_1(f, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO retryWhile
  */
 export function retryWhile(f, __tsplusTrace) {
-  return fa => {
-    return retryWhileIO_1(e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace)(fa);
+  return self => {
+    return retryWhileIO_1(e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace)(self);
   };
 }
 /**
@@ -1300,8 +1345,8 @@ export function retryWhile(f, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO retryWhileIO
  */
 function retryWhileIO_1(f, __tsplusTrace) {
-  return fa => {
-    return catchAll_1(e => flatMap_1(b => b ? retryWhileIO_1(f, __tsplusTrace)(fa) : fail_1(() => e, __tsplusTrace), __tsplusTrace)(f(e)), __tsplusTrace)(fa);
+  return self => {
+    return catchAll_1(e => flatMap_1(b => b ? retryWhileIO_1(f, __tsplusTrace)(self) : fail_1(() => e, __tsplusTrace), __tsplusTrace)(f(e)), __tsplusTrace)(self);
   };
 }
 /**
@@ -1309,15 +1354,15 @@ function retryWhileIO_1(f, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.IO sandbox
  */
-function sandbox_1(fa, __tsplusTrace) {
-  return matchCauseIO_1(failNow_1, succeedNow_1, __tsplusTrace)(fa);
+function sandbox_1(self, __tsplusTrace) {
+  return matchCauseIO_1(failNow_1, succeedNow_1, __tsplusTrace)(self);
 }
 /**
  * @tsplus pipeable fncts.io.IO sandboxWith
  */
 export function sandboxWith(f, __tsplusTrace) {
-  return ma => {
-    return unsandbox_1(f(sandbox_1(ma, __tsplusTrace)), __tsplusTrace);
+  return self => {
+    return unsandbox_1(f(sandbox_1(self, __tsplusTrace)), __tsplusTrace);
   };
 }
 /**
@@ -1332,17 +1377,6 @@ export function sequenceIterable(as, __tsplusTrace) {
 export function sequenceIterableDiscard(as, __tsplusTrace) {
   return foreachDiscard_1(as, identity, __tsplusTrace);
 }
-/**
- * Creates a `IO` that has succeeded with a pure value
- *
- * @tsplus static fncts.io.IOOps succeedNow
- */
-function succeedNow_1(value, __tsplusTrace) {
-  const io = new IOPrimitive(0 /* IOTag.SucceedNow */);
-  io.i0 = value;
-  io.trace = __tsplusTrace;
-  return io;
-}
 /**
  * Imports a total synchronous effect into a pure `IO` value.
  * The effect must not throw any exceptions. If you wonder if the effect
@@ -1357,6 +1391,17 @@ function succeed_1(effect, __tsplusTrace) {
   io.trace = __tsplusTrace;
   return io;
 }
+/**
+ * Creates a `IO` that has succeeded with a pure value
+ *
+ * @tsplus static fncts.io.IOOps succeedNow
+ */
+function succeedNow_1(value, __tsplusTrace) {
+  const io = new IOPrimitive(0 /* IOTag.SucceedNow */);
+  io.i0 = value;
+  io.trace = __tsplusTrace;
+  return io;
+}
 /**
  * @tsplus pipeable fncts.io.IO summarized
  */
@@ -1375,8 +1420,8 @@ function summarized_1(summary, f, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.IO swap
  */
-function swap_1(pab, __tsplusTrace) {
-  return matchIO_1(succeedNow_1, failNow_1, __tsplusTrace)(pab);
+function swap_1(self, __tsplusTrace) {
+  return matchIO_1(succeedNow_1, failNow_1, __tsplusTrace)(self);
 }
 /**
  * Swaps the error/value parameters, applies the function `f` and flips the parameters back
@@ -1384,61 +1429,7 @@ function swap_1(pab, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO swapWith
  */
 function swapWith_1(f, __tsplusTrace) {
-  return fa => swap_1(f(swap_1(fa, __tsplusTrace)), __tsplusTrace);
-}
-/**
- * A more powerful variation of `timed` that allows specifying the clock.
- *
- * @tsplus pipeable fncts.io.IO timedWith
- */
-export function timedWith(msTime, __tsplusTrace) {
-  return ma => summarized_1(msTime, (start, end) => end - start, __tsplusTrace)(ma);
-}
-/**
- * @tsplus static fncts.io.IOOps attempt
- */
-export function attempt(effect, __tsplusTrace) {
-  return defer_1(() => {
-    try {
-      return tsplus_module_23.succeed(effect(), __tsplusTrace);
-    } catch (u) {
-      return withFiberRuntime_1(fiberState => {
-        if (!fiberState.isFatal(u)) {
-          throw new IOError(tsplus_module_2.fail(u));
-        } else {
-          throw u;
-        }
-      }, __tsplusTrace);
-    }
-  }, __tsplusTrace);
-}
-/**
- * Creates a `IO` that has succeeded with a pure value
- *
- * @tsplus static fncts.io.IOOps tryCatch
- */
-function tryCatch_1(effect, onThrow, __tsplusTrace) {
-  return defer_1(() => {
-    try {
-      return tsplus_module_23.succeed(effect(), __tsplusTrace);
-    } catch (u) {
-      return withFiberRuntime_1(fiberState => {
-        if (!fiberState.isFatal(u)) {
-          throw new IOError(tsplus_module_2.fail(onThrow(u)));
-        } else {
-          throw u;
-        }
-      }, __tsplusTrace);
-    }
-  }, __tsplusTrace);
-}
-/**
- * Returns an `IO` that submerges an `Either` into the `IO`.
- *
- * @tsplus getter fncts.io.IO absolve
- */
-export function absolve(ma, __tsplusTrace) {
-  return flatMap_1(ea => tsplus_module_4.match(failNow_1, succeedNow_1)(ea), __tsplusTrace)(ma);
+  return self => swap_1(f(swap_1(self, __tsplusTrace)), __tsplusTrace);
 }
 /**
  * Composes computations in sequence, using the return value of one computation as input for the next
@@ -1460,8 +1451,8 @@ export function tap(f, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO tapCause
  */
 export function tapCause(f, __tsplusTrace) {
-  return ma => {
-    return matchCauseIO_1(c => flatMap_1(() => failCauseNow_1(c, __tsplusTrace), __tsplusTrace)(f(c)), succeedNow_1, __tsplusTrace)(ma);
+  return self => {
+    return matchCauseIO_1(c => flatMap_1(() => failCauseNow_1(c, __tsplusTrace), __tsplusTrace)(f(c)), succeedNow_1, __tsplusTrace)(self);
   };
 }
 /**
@@ -1470,7 +1461,7 @@ export function tapCause(f, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO tapError
  */
 export function tapError(f, __tsplusTrace) {
-  return self => matchCauseIO_1(cause => tsplus_module_4.match(e => flatMap_1(() => failCauseNow_1(cause, __tsplusTrace), __tsplusTrace)(f(e)), _ => failCauseNow_1(cause, __tsplusTrace))(tsplus_module_2.failureOrCause(cause)), succeedNow_1, __tsplusTrace)(self);
+  return self => matchCauseIO_1(cause => tsplus_module_4.match(e => flatMap_1(() => failCauseNow_1(cause, __tsplusTrace), __tsplusTrace)(f(e)), _ => failCauseNow_1(cause, __tsplusTrace))(tsplus_module_1.failureOrCause(cause)), succeedNow_1, __tsplusTrace)(self);
 }
 /**
  * Returns an effect that effectually "peeks" at the cause of the failure of
@@ -1483,18 +1474,46 @@ export function tapErrorCause(f, __tsplusTrace) {
     return matchCauseIO_1(cause => zipRight_1(failCauseNow_1(cause, __tsplusTrace), __tsplusTrace)(f(cause)), succeedNow_1, __tsplusTrace)(self);
   };
 }
+/**
+ * A more powerful variation of `timed` that allows specifying the clock.
+ *
+ * @tsplus pipeable fncts.io.IO timedWith
+ */
+export function timedWith(msTime, __tsplusTrace) {
+  return self => summarized_1(msTime, (start, end) => end - start, __tsplusTrace)(self);
+}
+/**
+ * Creates a `IO` that has succeeded with a pure value
+ *
+ * @tsplus static fncts.io.IOOps tryCatch
+ */
+function tryCatch_1(effect, onThrow, __tsplusTrace) {
+  return defer_1(() => {
+    try {
+      return tsplus_module_10.succeed(effect(), __tsplusTrace);
+    } catch (u) {
+      return withFiberRuntime_1(fiberState => {
+        if (!fiberState.isFatal(u)) {
+          throw new IOError(tsplus_module_1.fail(onThrow(u)));
+        } else {
+          throw u;
+        }
+      }, __tsplusTrace);
+    }
+  }, __tsplusTrace);
+}
 /**
  * @tsplus pipeable fncts.io.IO tryOrElse
  */
 function tryOrElse_1(that, onSuccess, __tsplusTrace) {
-  return ma => {
-    return matchCauseIO_1(cause => tsplus_module_16.match(that, failCauseNow_1)(tsplus_module_2.keepDefects(cause)), onSuccess, __tsplusTrace)(ma);
+  return self => {
+    return matchCauseIO_1(cause => tsplus_module_17.match(that, failCauseNow_1)(tsplus_module_1.keepDefects(cause)), onSuccess, __tsplusTrace)(self);
   };
 }
 /**
  * @tsplus static fncts.io.IOOps unit
  */
-const unit_1 = /*#__PURE__*/succeedNow_1(undefined, fileName_1 + ":1880:45");
+const unit_1 = /*#__PURE__*/succeedNow_1(undefined, fileName_1 + ":1866:45");
 export const unit = unit_1;
 /**
  * Converts an option on errors into an option on values.
@@ -1502,7 +1521,7 @@ export const unit = unit_1;
  * @tsplus getter fncts.io.IO unjust
  */
 export function unjust(self, __tsplusTrace) {
-  return matchIO_1(e => tsplus_module_16.match(() => succeedNow_1(tsplus_module_3.nothing(__tsplusTrace), __tsplusTrace), failNow_1)(e), a => succeedNow_1(tsplus_module_3.just(a, __tsplusTrace), __tsplusTrace), __tsplusTrace)(self);
+  return matchIO_1(e => tsplus_module_17.match(() => succeedNow_1(tsplus_module_2.nothing(__tsplusTrace), __tsplusTrace), failNow_1)(e), a => succeedNow_1(tsplus_module_2.just(a, __tsplusTrace), __tsplusTrace), __tsplusTrace)(self);
 }
 /**
  * Takes some fiber failures and converts them into errors, using the
@@ -1511,8 +1530,8 @@ export function unjust(self, __tsplusTrace) {
  * @tsplus pipeable fncts.io.IO unrefineWith
  */
 function unrefineWith_1(pf, f, __tsplusTrace) {
-  return fa => {
-    return catchAllCause_1(cause => tsplus_module_16.match(() => failCauseNow_1(tsplus_module_2.map(f)(cause), __tsplusTrace), failNow_1)(tsplus_module_2.find(c => tsplus_module_2.isHalt(c) ? pf(c.value) : tsplus_module_3.nothing(__tsplusTrace))(cause)), __tsplusTrace)(fa);
+  return self => {
+    return catchAllCause_1(cause => tsplus_module_17.match(() => failCauseNow_1(tsplus_module_1.map(f)(cause), __tsplusTrace), failNow_1)(tsplus_module_1.find(c => tsplus_module_1.isHalt(c) ? pf(c.value) : tsplus_module_2.nothing(__tsplusTrace))(cause)), __tsplusTrace)(self);
   };
 }
 /**
@@ -1520,8 +1539,8 @@ function unrefineWith_1(pf, f, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.IO unsandbox
  */
-function unsandbox_1(ma, __tsplusTrace) {
-  return mapErrorCause_1(cause => tsplus_module_2.flatten(cause), __tsplusTrace)(ma);
+function unsandbox_1(self, __tsplusTrace) {
+  return mapErrorCause_1(cause => tsplus_module_1.flatten(cause), __tsplusTrace)(self);
 }
 /**
  * Updates the `FiberRef` values for the fiber running this effect using the
@@ -1539,12 +1558,27 @@ export function updateFiberRefs(f, __tsplusTrace) {
  * @tsplus fluent fncts.io.IO __call
  */
 export const via = pipe;
+/**
+ * @tsplus static fncts.io.IOOps stackTrace
+ */
+function stackTrace_1(__tsplusTrace) {
+  return withFiberRuntime_1(state => succeedNow_1(state.generateStackTrace(), __tsplusTrace), __tsplusTrace);
+}
+/**
+ * @tsplus static fncts.io.IOOps updateRuntimeFlags
+ */
+export function updateRuntimeFlags(patch, __tsplusTrace) {
+  const io = new IOPrimitive(6 /* IOTag.UpdateRuntimeFlags */);
+  io.i0 = patch;
+  io.trace = __tsplusTrace;
+  return io;
+}
 /**
  * @tsplus pipeable fncts.io.IO when
  */
 export function when(b, __tsplusTrace) {
-  return ma => {
-    return whenIO_1(succeed_1(b, __tsplusTrace), __tsplusTrace)(ma);
+  return self => {
+    return whenIO_1(succeed_1(b, __tsplusTrace), __tsplusTrace)(self);
   };
 }
 /**
@@ -1554,33 +1588,26 @@ export function when(b, __tsplusTrace) {
  * @tsplus static fncts.io.IOOps whenIO
  */
 function whenIO_1(mb, __tsplusTrace) {
-  return ma => {
-    return flatMap_1(b => b ? asJust_1(ma, __tsplusTrace) : nothing_1, __tsplusTrace)(mb);
+  return self => {
+    return flatMap_1(b => b ? asJust_1(self, __tsplusTrace) : nothing_1, __tsplusTrace)(mb);
   };
 }
 /**
- * @tsplus static fncts.io.IOOps withFiberRuntime
+ * @tsplus static fncts.io.IOOps whileLoop
  */
-function withFiberRuntime_1(onState, __tsplusTrace) {
-  const io = new IOPrimitive(10 /* IOTag.Stateful */);
-  io.i0 = onState;
-  io.trace = __tsplusTrace;
+function whileLoop_1(check, body, process, __tsPlusTrace) {
+  const io = new IOPrimitive(9 /* IOTag.WhileLoop */);
+  io.i0 = check;
+  io.i1 = body;
+  io.i2 = process;
   return io;
 }
 /**
- * @tsplus static fncts.io.IOOps updateRuntimeFlags
- */
-export function updateRuntimeFlags(patch, __tsplusTrace) {
-  const io = new IOPrimitive(7 /* IOTag.UpdateRuntimeFlags */);
-  io.i0 = patch;
-  io.trace = __tsplusTrace;
-  return io;
-}
-/**
- * @tsplus static fncts.io.IOOps stackTrace
+ * @tsplus static fncts.io.IOOps withFiberRuntime
  */
-function stackTrace_1(__tsplusTrace) {
-  const io = new IOPrimitive(9 /* IOTag.GenerateStackTrace */);
+function withFiberRuntime_1(onState, __tsplusTrace) {
+  const io = new IOPrimitive(8 /* IOTag.Stateful */);
+  io.i0 = onState;
   io.trace = __tsplusTrace;
   return io;
 }
@@ -1591,7 +1618,7 @@ function stackTrace_1(__tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps yieldNow
  */
-const yieldNow_1 = /*#__PURE__*/new IOPrimitive(12 /* IOTag.YieldNow */);
+const yieldNow_1 = /*#__PURE__*/new IOPrimitive(10 /* IOTag.YieldNow */);
 export const yieldNow = yieldNow_1;
 /**
  * @tsplus pipeable fncts.io.IO zip
@@ -1601,6 +1628,26 @@ export function zip(that, __tsplusTrace) {
     return zipWith_1(that, tuple, __tsplusTrace)(self);
   };
 }
+/**
+ * @tsplus pipeable fncts.io.IO zipLeft
+ * @tsplus pipeable-operator fncts.io.IO <
+ */
+export function zipLeft(fb, __tsplusTrace) {
+  return self => {
+    return flatMap_1(a => map_1(() => a, __tsplusTrace)(fb), __tsplusTrace)(self);
+  };
+}
+/**
+ * Combine two effectful actions, keeping only the result of the second
+ *
+ * @tsplus pipeable fncts.io.IO zipRight
+ * @tsplus pipeable-operator fncts.io.IO >
+ */
+function zipRight_1(fb, __tsplusTrace) {
+  return self => {
+    return flatMap_1(() => fb, __tsplusTrace)(self);
+  };
+}
 /**
  * @tsplus pipeable fncts.io.IO zipWith
  */
@@ -1609,6 +1656,12 @@ function zipWith_1(that, f, __tsplusTrace) {
     return flatMap_1(a => map_1(b => f(a, b), __tsplusTrace)(that), __tsplusTrace)(self);
   };
 }
+/**
+ * @internal
+ */
+export const __adapter = _ => {
+  return _;
+};
 export class GenIO {
   constructor(effect, _trace) {
     this.effect = effect;
@@ -1618,12 +1671,6 @@ export class GenIO {
     return yield this;
   }
 }
-/**
- * @internal
- */
-export const __adapter = _ => {
-  return _;
-};
 const adapter = (_, __tsplusTrace) => {
   return new GenIO(__adapter(_), __tsplusTrace);
 };