@fncts/io 0.0.20 → 0.0.22

package/_mjs/IO/api.mjs

@@ -1,276 +1,233 @@
 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/Maybe/constructors";
-import * as tsplus_module_3 from "@fncts/base/data/Either/constructors";
-import * as tsplus_module_4 from "@fncts/base/data/Maybe/destructors";
-import * as tsplus_module_5 from "@fncts/base/data/Cause/api";
-import * as tsplus_module_6 from "@fncts/base/data/Either/destructors";
-import * as tsplus_module_7 from "@fncts/base/data/Maybe/api";
+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_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_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/Exit/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/Trace/constructors";
-import * as tsplus_module_17 from "@fncts/base/collection/immutable/Conc/api/empty";
-import * as tsplus_module_18 from "@fncts/base/collection/immutable/List/api";
-import * as tsplus_module_19 from "@fncts/base/collection/immutable/ImmutableArray/constructors";
-import * as tsplus_module_20 from "@fncts/base/collection/immutable/ImmutableArray/api";
+import * as tsplus_module_16 from "@fncts/base/data/Maybe/destructors";
+import * as tsplus_module_17 from "@fncts/base/data/Trace/constructors";
+import * as tsplus_module_18 from "@fncts/base/collection/immutable/Conc/api/empty";
+import * as tsplus_module_19 from "@fncts/base/collection/immutable/List/api";
+import * as tsplus_module_20 from "@fncts/base/collection/immutable/ImmutableArray/constructors";
+import * as tsplus_module_21 from "@fncts/base/collection/immutable/ImmutableArray/api";
+import * as tsplus_module_22 from "@fncts/base/data/Exit/constructors";
 export const async = async_1;
-export const asyncMaybe = asyncMaybe_1;
-export const asyncInterrupt = asyncInterrupt_1;
-export const apSecond_ = apSecond_1;
-export const as_ = as_1;
+export const zipRight = zipRight_1;
+export const as = as_1;
 export const asUnit = asUnit_1;
-export const catch_ = catch_1;
-export const catchAll_ = catchAll_1;
-export const catchAllCause_ = catchAllCause_1;
-export const flatMap_ = flatMap_1;
-export const collectIO_ = collectIO_1;
+export const catchTagWith = catchTagWith_1;
+export const catchAll = catchAll_1;
+export const catchAllCause = catchAllCause_1;
+export const flatMap = flatMap_1;
+export const collectIO = collectIO_1;
 export const defer = defer_1;
-export const deferWith = deferWith_1;
-export const descriptorWith = descriptorWith_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 filter_ = filter_1;
-export const filterMapWithIndex_ = filterMapWithIndex_1;
-export const filterOrElse_ = filterOrElse_1;
-export const foldLeft_ = foldLeft_1;
-export const foreach_ = foreach_1;
-export const foreachWithIndexDiscard_ = foreachWithIndexDiscard_1;
-export const foreachDiscard_ = foreachDiscard_1;
+export const filter = filter_1;
+export const filterMapWithIndex = filterMapWithIndex_1;
+export const filterOrElse = filterOrElse_1;
+export const foldLeft = foldLeft_1;
+export const foreach = foreach_1;
+export const foreachWithIndexDiscard = foreachWithIndexDiscard_1;
+export const foreachDiscard = foreachDiscard_1;
 export const forever = forever_1;
 export const fromPromiseCatch = fromPromiseCatch_1;
-export const getOrFailWith_ = getOrFailWith_1;
+export const getOrFailWith = getOrFailWith_1;
 export const haltNow = haltNow_1;
-export const ifIO_ = ifIO_1;
-export const iterate_ = iterate_1;
-export const loop_ = loop_1;
-export const map_ = map_1;
-export const mapError_ = mapError_1;
-export const mapErrorCause_ = mapErrorCause_1;
-export const matchCauseIO_ = matchCauseIO_1;
-export const matchIO_ = matchIO_1;
-export const match_ = match_1;
-export const orElse_ = orElse_1;
-export const orHaltWith_ = orHaltWith_1;
-export const refineOrHaltWith_ = refineOrHaltWith_1;
-export const rejectIO_ = rejectIO_1;
+export const ifIO = ifIO_1;
+export const iterate = iterate_1;
+export const loop = loop_1;
+export const map = map_1;
+export const mapError = mapError_1;
+export const mapErrorCause = mapErrorCause_1;
+export const matchCauseIO = matchCauseIO_1;
+export const matchIO = matchIO_1;
+export const match = match_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 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 summarized_ = summarized_1;
+export const summarized = summarized_1;
 export const swap = swap_1;
-export const swapWith_ = swapWith_1;
+export const swapWith = swapWith_1;
 export const tryCatch = tryCatch_1;
-export const tryOrElse_ = tryOrElse_1;
-export const unrefineWith_ = unrefineWith_1;
+export const tryOrElse = tryOrElse_1;
+export const unrefineWith = unrefineWith_1;
 export const unsandbox = unsandbox_1;
-export const withFiberContext = withFiberContext_1;
-export const whenIO_ = whenIO_1;
-export const zipWith_ = zipWith_1;
+export const whenIO = whenIO_1;
+export const withFiberRuntime = withFiberRuntime_1;
+export const stackTrace = stackTrace_1;
+export const zipWith = zipWith_1;
 export const gen = gen_1;
 import { identity, pipe, tuple } from "@fncts/base/data/function";
+import { Async, GenerateStackTrace, OnSuccess, OnSuccessAndFailure, Sync, UpdateRuntimeFlags, YieldNow } from "@fncts/io/IO/definition";
 import { Stateful } from "@fncts/io/IO/definition";
-import { Async, Chain, Defer, DeferWith, Fail, Fork, IO, IOError, Logged, Match, Succeed, SucceedNow, Yield } from "@fncts/io/IO/definition";
+import { Fail, IOError, SucceedNow } 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) {
-  return asyncMaybe_1(cb => {
-    register(cb);
-    return tsplus_module_2.nothing();
-  }, blockingOn, __tsplusTrace);
-}
-/**
- * Imports an asynchronous effect into a pure `IO`, possibly returning the value synchronously.
- *
- * If the register function returns a value synchronously, then the callback
- * function must not be called. Otherwise the callback function must be called at most once.
- *
- * @tsplus static fncts.io.IOOps asyncMaybe
- */
-
-
-function asyncMaybe_1(register, blockingOn = tsplus_module_1.none, __tsplusTrace) {
-  return asyncInterrupt_1(cb => tsplus_module_4.match_(register(cb), () => tsplus_module_3.left(unit_1), tsplus_module_3.right), blockingOn, __tsplusTrace);
-}
-/**
- * Imports an asynchronous side-effect into an IO. The side-effect
- * has the option of returning the value synchronously, which is useful in
- * cases where it cannot be determined if the effect is synchronous or
- * asynchronous until the side-effect is actually executed. The effect also
- * has the option of returning a canceler, which will be used by the runtime
- * to cancel the asynchronous effect if the fiber executing the effect is
- * interrupted.
- *
- * If the register function returns a value synchronously, then the callback
- * function must not be called. Otherwise the callback function must be called
- * at most once.
- *
- * The list of fibers, that may complete the async callback, is used to
- * provide better diagnostics.
- *
- * @tsplus static fncts.io.IOOps asyncInterrupt
- */
-
-
-function asyncInterrupt_1(register, blockingOn = tsplus_module_1.none, __tsplusTrace) {
-  return new Async(register, blockingOn, __tsplusTrace);
+  return new Async(register, () => blockingOn, __tsplusTrace);
 }
 /**
  * Attempts to convert defects into a failure, throwing away all information
  * about the cause of the failure.
  *
- * @tsplus fluent fncts.io.IO absorbWith
+ * @tsplus pipeable fncts.io.IO absorbWith
  */
-
-
-export function absorbWith_(ma, f, __tsplusTrace) {
-  return matchIO_1(sandbox_1(ma, __tsplusTrace), cause => failNow_1(tsplus_module_5.squashWith_(cause, f), __tsplusTrace), succeedNow_1, __tsplusTrace);
+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 fluent fncts.io.IO apFirst
- * @tsplus operator fncts.io.IO <
+ * @tsplus pipeable fncts.io.IO zipLeft
+ * @tsplus pipeable-operator fncts.io.IO <
  */
-
-export function apFirst_(self, fb, __tsplusTrace) {
-  return flatMap_1(self, a => map_1(fb, () => a, __tsplusTrace), __tsplusTrace);
+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 fluent fncts.io.IO apSecond
- * @tsplus operator fncts.io.IO >
+ * @tsplus pipeable fncts.io.IO zipRight
+ * @tsplus pipeable-operator fncts.io.IO >
  */
-
-function apSecond_1(self, fb, __tsplusTrace) {
-  return flatMap_1(self, () => fb, __tsplusTrace);
+function zipRight_1(fb, __tsplusTrace) {
+  return self => {
+    return flatMap_1(() => fb, __tsplusTrace)(self);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO as
+ * @tsplus pipeable fncts.io.IO as
  */
-
-
-function as_1(self, b, __tsplusTrace) {
-  return map_1(self, () => b(), __tsplusTrace);
+function as_1(b, __tsplusTrace) {
+  return self => {
+    return map_1(() => b(), __tsplusTrace)(self);
+  };
 }
 /**
  * Maps the success value of this effect to an optional value.
  *
  * @tsplus getter fncts.io.IO asJust
  */
-
-
 export function asJust(ma, __tsplusTrace) {
-  return map_1(ma, tsplus_module_2.just, __tsplusTrace);
+  return map_1(tsplus_module_3.just, __tsplusTrace)(ma);
 }
 /**
  * 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(ma, tsplus_module_2.just, __tsplusTrace);
+  return mapError_1(tsplus_module_3.just, __tsplusTrace)(ma);
 }
 /**
  * @tsplus getter fncts.io.IO asUnit
  */
-
 function asUnit_1(self, __tsplusTrace) {
-  return as_1(self, () => undefined, __tsplusTrace);
+  return as_1(() => undefined, __tsplusTrace)(self);
 }
 /**
  * Returns an IO whose failure and success channels have been mapped by
  * the specified pair of functions, `f` and `g`.
  *
- * @tsplus fluent fncts.io.IO bimap
+ * @tsplus pipeable fncts.io.IO bimap
  */
-
-
-export function bimap_(self, f, g, __tsplusTrace) {
-  return matchIO_1(self, e => failNow_1(f(e), __tsplusTrace), a => succeedNow_1(g(a), __tsplusTrace), __tsplusTrace);
+export function bimap(f, g, __tsplusTrace) {
+  return self => {
+    return matchIO_1(e => failNow_1(f(e), __tsplusTrace), a => succeedNow_1(g(a), __tsplusTrace), __tsplusTrace)(self);
+  };
 }
 /**
  * Returns an IO that effectfully "peeks" at the failure or success of
  * this effect.
  *
- * @tsplus fluent fncts.io.IO bitap
+ * @tsplus pipeable fncts.io.IO bitap
  */
-
-export function bitap_(self, onFailure, onSuccess, __tsplusTrace) {
-  return matchCauseIO_1(self, cause => tsplus_module_6.match_(tsplus_module_5.failureOrCause(cause), e => flatMap_1(onFailure(e), () => failCauseNow_1(cause, __tsplusTrace), __tsplusTrace), () => failCauseNow_1(cause, __tsplusTrace)), a => apSecond_1(onSuccess(a), succeedNow_1(a, __tsplusTrace), __tsplusTrace), __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 fluent fncts.io.IO catch
+ * @tsplus pipeable fncts.io.IO catch
  */
-
-function catch_1(ma, tag, k, f, __tsplusTrace) {
-  return catchAll_1(ma, e => {
-    if (tag in e && e[tag] === k) {
-      return f(e);
-    }
-
-    return failNow_1(e, __tsplusTrace);
-  }, __tsplusTrace);
+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);
+  };
 }
 /**
  * Recovers from all errors
  *
- * @tsplus fluent fncts.io.IO catchAll
+ * @tsplus pipeable fncts.io.IO catchAll
  */
-
-
-function catchAll_1(ma, f, __tsplusTrace) {
-  return matchIO_1(ma, f, succeedNow_1, __tsplusTrace);
+function catchAll_1(f, __tsplusTrace) {
+  return ma => {
+    return matchIO_1(f, succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  *
  * Recovers from all errors with provided cause.
  *
- * @tsplus fluent fncts.io.IO catchAllCause
+ * @tsplus pipeable fncts.io.IO catchAllCause
  */
-
-
-function catchAllCause_1(ma, f, __tsplusTrace) {
-  return matchCauseIO_1(ma, f, succeedNow_1, __tsplusTrace);
+function catchAllCause_1(f, __tsplusTrace) {
+  return ma => matchCauseIO_1(f, succeedNow_1, __tsplusTrace)(ma);
 }
 /**
  * Recovers from some or all of the error cases.
  *
- * @tsplus fluent fncts.io.IO catchJust
+ * @tsplus pipeable fncts.io.IO catchJust
  */
-
-
-export function catchJust_(ma, f, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => tsplus_module_6.match_(tsplus_module_5.failureOrCause(cause), e => tsplus_module_7.getOrElse_(f(e), () => failCauseNow_1(cause, __tsplusTrace)), failCauseNow_1), succeedNow_1, __tsplusTrace);
+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);
+  };
 }
 /**
  * Recovers from some or all of the error cases with provided cause.
  *
- * @tsplus fluent fncts.io.IO catchJustCause
+ * @tsplus pipeable fncts.io.IO catchJustCause
  */
-
-export function catchJustCause_(ma, f, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => tsplus_module_7.getOrElse_(f(cause), () => failCauseNow_1(cause, __tsplusTrace)), succeedNow_1, __tsplusTrace);
+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);
+  };
 }
 /**
  * Recovers from some or all of the defects with provided partial function.
@@ -280,85 +237,87 @@ export function catchJustCause_(ma, f, __tsplusTrace) {
  * system, to transmit information on a defect for diagnostic or explanatory
  * purposes.
  *
- * @tsplus fluent fncts.io.IO catchJustDefect
+ * @tsplus pipeable fncts.io.IO catchJustDefect
  */
-
-export function catchJustDefect_(ma, f, __tsplusTrace) {
-  return catchAll_1(unrefineWith_1(ma, f, failNow_1, __tsplusTrace), a => a, __tsplusTrace);
+export function catchJustDefect(f, __tsplusTrace) {
+  return ma => {
+    return catchAll_1(a => a, __tsplusTrace)(unrefineWith_1(f, failNow_1, __tsplusTrace)(ma));
+  };
 }
 /**
  * Recovers from the specified error
  *
- * @tsplus fluent IO catchTag
+ * @tsplus pipeable IO catchTag
  */
-
-export function catchTag_(ma, k, f, __tsplusTrace) {
-  return catch_1(ma, "_tag", k, f, __tsplusTrace);
+export function catchTag(k, f, __tsplusTrace) {
+  return ma => {
+    return catchTagWith_1("_tag", k, f, __tsplusTrace)(ma);
+  };
 }
 /**
  * @tsplus getter fncts.io.IO cause
  */
-
 export function cause(ma, __tsplusTrace) {
-  return matchCauseIO_1(ma, succeedNow_1, () => succeedNow_1(tsplus_module_5.empty(), __tsplusTrace), __tsplusTrace);
+  return matchCauseIO_1(succeedNow_1, () => succeedNow_1(tsplus_module_2.empty(), __tsplusTrace), __tsplusTrace)(ma);
 }
 /**
- * @tsplus fluent fncts.io.IO causeAsError
+ * @tsplus pipeable fncts.io.IO causeAsError
  */
-
-export function causeAsError(ma, __tsplusTrace) {
-  return matchCauseIO_1(ma, failNow_1, succeedNow_1, __tsplusTrace);
+export function causeAsError(__tsplusTrace) {
+  return ma => {
+    return matchCauseIO_1(failNow_1, succeedNow_1, __tsplusTrace)(ma);
+  };
+}
+/**
+ * Checks the interrupt status, and produces the IO returned by the
+ * specified callback.
+ *
+ * @tsplus static fncts.io.IOOps checkInterruptible
+ */
+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 fluent fncts.io.IO flatMap
+ * @tsplus pipeable fncts.io.IO flatMap
  */
-
-function flatMap_1(ma, f, __tsplusTrace) {
-  return new Chain(ma, f, __tsplusTrace);
+function flatMap_1(f, __tsplusTrace) {
+  return ma => {
+    return new OnSuccess(ma, f, __tsplusTrace);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO flatMapError
+ * @tsplus pipeable fncts.io.IO flatMapError
  */
-
-
-export function flatMapError_(ma, f, __tsplusTrace) {
-  return swapWith_1(ma, effect => flatMap_1(effect, f, __tsplusTrace), __tsplusTrace);
+export function flatMapError(f, __tsplusTrace) {
+  return ma => {
+    return swapWith_1(effect => flatMap_1(f, __tsplusTrace)(effect), __tsplusTrace)(ma);
+  };
 }
 /**
- * Checks the interrupt status, and produces the IO returned by the
- * specified callback.
- *
- * @tsplus static fncts.io.IOOps checkInterruptible
+ * @tsplus pipeable fncts.io.IO collect
  */
-
-export function checkInterruptible(f, __tsplusTrace) {
-  return withFiberContext_1(fiber => f(tsplus_module_8.fromBoolean(fiber.unsafeIsInterruptible)), __tsplusTrace);
+export function collect(f, pf, __tsplusTrace) {
+  return ma => {
+    return collectIO_1(f, a => tsplus_module_6.map(succeedNow_1)(pf(a)), __tsplusTrace)(ma);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO collect
+ * @tsplus pipeable fncts.io.IO collectIO
  */
-
-export function collect_(ma, f, pf, __tsplusTrace) {
-  return collectIO_1(ma, f, a => tsplus_module_7.map_(pf(a), succeedNow_1), __tsplusTrace);
-}
-/**
- * @tsplus fluent fncts.io.IO collectIO
- */
-
-function collectIO_1(ma, f, pf, __tsplusTrace) {
-  return flatMap_1(ma, a => tsplus_module_7.getOrElse_(pf(a), () => fail_1(f, __tsplusTrace)), __tsplusTrace);
+function collectIO_1(f, pf, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(a => tsplus_module_6.getOrElse(() => fail_1(f, __tsplusTrace))(pf(a)), __tsplusTrace)(ma);
+  };
 }
 /**
  * @tsplus static fncts.io.IOOps condIO
  */
-
-
-export function condIO_(b, onTrue, onFalse, __tsplusTrace) {
-  return b ? onTrue : flatMap_1(onFalse, failNow_1, __tsplusTrace);
+export function condIO(b, onTrue, onFalse, __tsplusTrace) {
+  return b ? onTrue : flatMap_1(failNow_1, __tsplusTrace)(onFalse);
 }
 /**
  * Returns a lazily constructed effect, whose construction may itself require
@@ -368,22 +327,8 @@ export function condIO_(b, onTrue, onFalse, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps defer
  */
-
 function defer_1(io, __tsplusTrace) {
-  return new Defer(io, __tsplusTrace);
-}
-/**
- * Returns a lazily constructed effect, whose construction may itself require
- * effects. The effect must not throw any exceptions. When no environment is required (i.e., when R == unknown)
- * it is conceptually equivalent to `flatten(effectTotal(io))`. If you wonder if the effect throws exceptions,
- * do not use this method, use `IO.deferTryCatchWith`.
- *
- * @tsplus static fncts.io.IOOps deferWith
- */
-
-
-function deferWith_1(io, __tsplusTrace) {
-  return new DeferWith(io, __tsplusTrace);
+  return flatMap_1(identity, __tsplusTrace)(succeed_1(io, __tsplusTrace));
 }
 /**
  * Returns a lazily constructed effect, whose construction may itself require effects.
@@ -391,30 +336,12 @@ function deferWith_1(io, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps deferTry
  */
-
-
 export function deferTry(io, __tsplusTrace) {
   return defer_1(() => {
     try {
       return io();
     } catch (u) {
-      throw new IOError(tsplus_module_9.fail(u));
-    }
-  }, __tsplusTrace);
-}
-/**
- * Returns a lazily constructed effect, whose construction may itself require effects.
- * When no environment is required (i.e., when R == unknown) it is conceptually equivalent to `flatten(effect(io))`.
- *
- * @tsplus static IOOps deferTryWith
- */
-
-export function deferTryWith(io, __tsplusTrace) {
-  return deferWith_1((runtimeConfig, id) => {
-    try {
-      return io(runtimeConfig, id);
-    } catch (u) {
-      throw new IOError(tsplus_module_9.fail(u));
+      throw new IOError(tsplus_module_2.fail(u));
     }
   }, __tsplusTrace);
 }
@@ -426,114 +353,68 @@ export function deferTryWith(io, __tsplusTrace) {
  *
  * @tsplus static IOOps deferTryCatch
  */
-
 export function deferTryCatch(io, onThrow, __tsplusTrace) {
   return defer_1(() => {
     try {
       return io();
     } catch (u) {
-      throw new IOError(tsplus_module_9.fail(onThrow(u)));
-    }
-  }, __tsplusTrace);
-}
-/**
- * Returns a lazily constructed effect, whose construction may itself require effects,
- * translating any thrown exceptions into typed failed effects and mapping the error.
- *
- * When no environment is required (i.e., when R == unknown) it is conceptually equivalent to `flatten(effect(io))`.
- *
- * @tsplus static IOOps deferTryCatchWith
- */
-
-export function deferTryCatchWith(io, onThrow, __tsplusTrace) {
-  return deferWith_1((runtimeConfig, id) => {
-    try {
-      return io(runtimeConfig, id);
-    } catch (u) {
-      throw new IOError(tsplus_module_9.fail(onThrow(u)));
+      throw new IOError(tsplus_module_2.fail(onThrow(u)));
     }
   }, __tsplusTrace);
 }
-/**
- * @tsplus static fncts.io.IOOps descriptor
- */
-
-export const descriptor = /*#__PURE__*/descriptorWith_1(succeedNow_1, fileName_1 + ":505:41");
-/**
- * Constructs an IO based on information about the current fiber, such as
- * its identity.
- *
- * @tsplus static fncts.io.IOOps descriptorWith
- */
-
-function descriptorWith_1(f, __tsplusTrace) {
-  return withFiberContext_1(fiber => f(fiber.unsafeGetDescriptor()), __tsplusTrace);
-}
 /**
  * Folds an `IO` that may fail with `E` or succeed with `A` into one that never fails but succeeds with `Either<E, A>`
  *
  * @tsplus getter fncts.io.IO either
  */
-
-
 function either_1(ma, __tsplusTrace) {
-  return match_1(ma, tsplus_module_3.left, tsplus_module_3.right, __tsplusTrace);
+  return match_1(tsplus_module_9.left, tsplus_module_9.right, __tsplusTrace)(ma);
 }
 /**
- * @tsplus fluent fncts.io.IO ensuring
+ * @tsplus pipeable fncts.io.IO errorAsCause
  */
-
-
-export function ensuring_(self, finalizer, __tsplusTrace) {
-  return withFiberContext_1(fiber => {
-    fiber.unsafeAddFinalizer(finalizer);
-    return self;
-  }, __tsplusTrace);
-}
-/**
- * @tsplus fluent fncts.io.IO errorAsCause
- */
-
-export function errorAsCause(ma, __tsplusTrace) {
-  return matchIO_1(ma, failCauseNow_1, succeedNow_1, __tsplusTrace);
+export function errorAsCause(__tsplusTrace) {
+  return ma => {
+    return matchIO_1(failCauseNow_1, succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  * @tsplus getter fncts.io.IO eventually
  */
-
 function eventually_1(ma, __tsplusTrace) {
-  return orElse_1(ma, () => eventually_1(ma, __tsplusTrace), __tsplusTrace);
+  return orElse_1(() => eventually_1(ma, __tsplusTrace), __tsplusTrace)(ma);
 }
 /**
- * @tsplus fluent fncts.io.IO extend
+ * @tsplus pipeable fncts.io.IO extend
  */
-
-
-export function extend_(wa, f, __tsplusTrace) {
-  return matchIO_1(wa, failNow_1, _ => succeed_1(() => f(wa), __tsplusTrace), __tsplusTrace);
+export function extend(f, __tsplusTrace) {
+  return wa => {
+    return matchIO_1(failNow_1, _ => succeed_1(() => f(wa), __tsplusTrace), __tsplusTrace)(wa);
+  };
 }
 /**
  * @tsplus static fncts.io.IOOps fail
  */
-
 function fail_1(e, __tsplusTrace) {
-  return new Fail(() => tsplus_module_5.fail(e()), __tsplusTrace);
+  return failCause_1(() => tsplus_module_2.fail(e()), __tsplusTrace);
 }
 /**
  * @tsplus static fncts.io.IOOps failNow
  */
-
-
 function failNow_1(e, __tsplusTrace) {
-  return new Fail(() => tsplus_module_5.fail(e), __tsplusTrace);
+  return failCause_1(() => tsplus_module_2.fail(e), __tsplusTrace);
+}
+/**
+ * @tsplus static fncts.io.IOOps refailCause
+ */
+function refailCause_1(cause, __tsplusTrace) {
+  return new Fail(() => cause, __tsplusTrace);
 }
 /**
  * Creates a `IO` that has failed with the specified `Cause`
  *
  * @tsplus static fncts.io.IOOps failCauseNow
  */
-
-
 function failCauseNow_1(cause, __tsplusTrace) {
   return new Fail(() => cause, __tsplusTrace);
 }
@@ -542,54 +423,45 @@ function failCauseNow_1(cause, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps failCause
  */
-
-
 function failCause_1(cause, __tsplusTrace) {
-  return new Fail(cause, __tsplusTrace);
+  return flatMap_1(trace => refailCause_1(tsplus_module_2.traced(cause(), trace), __tsplusTrace), __tsplusTrace)(stackTrace_1(__tsplusTrace));
 }
 /**
  * Returns the `FiberId` of the `Fiber` on which this `IO` is running
  *
  * @tsplus static fncts.io.IOOps fiberId
  */
-
-
-export const fiberId = /*#__PURE__*/descriptorWith_1(d => succeedNow_1(d.id, fileName_1 + ":598:89"), fileName_1 + ":598:68");
+export const fiberId = /*#__PURE__*/withFiberRuntime_1(fiber => succeed_1(() => fiber.id, fileName_1 + ":491:92"), fileName_1 + ":491:70");
 /**
  * Filters the collection using the specified effectual predicate.
  *
  * @tsplus static fncts.io.IOOps filter
  */
-
 function filter_1(as, f, __tsplusTrace) {
-  return map_1(tsplus_module_11.foldLeft_(as, succeedNow_1(tsplus_module_10.builder(), __tsplusTrace), (eff, a) => zipWith_1(eff, f(a), (builder, p) => {
+  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) => {
     if (p) {
       builder.append(a);
     }
-
     return builder;
-  }, __tsplusTrace)), b => b.result(), __tsplusTrace);
+  }, __tsplusTrace)(eff))(as));
 }
 /**
  * @tsplus static fncts.io.IOOps filterMap
  */
-
-
-export function filterMap_(as, f, __tsplusTrace) {
+export function filterMap(as, f, __tsplusTrace) {
   return filterMapWithIndex_1(as, (_, a) => f(a), __tsplusTrace);
 }
 /**
  * @tsplus static fncts.io.IOOps filterMapWithIndex
  */
-
 function filterMapWithIndex_1(as, f, __tsplusTrace) {
   return defer_1(() => {
     const bs = [];
-    return as_1(foreachWithIndexDiscard_1(as, (i, a) => map_1(f(i, a), b => {
+    return as_1(() => tsplus_module_12.from(bs), __tsplusTrace)(foreachWithIndexDiscard_1(as, (i, a) => map_1(b => {
       if (tsplus_module_13.isJust(b)) {
         bs.push(b.value);
       }
-    }, __tsplusTrace), __tsplusTrace), () => tsplus_module_12.from(bs), __tsplusTrace);
+    }, __tsplusTrace)(f(i, a)), __tsplusTrace));
   }, __tsplusTrace);
 }
 /**
@@ -598,18 +470,18 @@ function filterMapWithIndex_1(as, f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps filterNot
  */
-
-
-export function filterNot_(as, f, __tsplusTrace) {
-  return filter_1(as, a => map_1(f(a), b => !b, __tsplusTrace), __tsplusTrace);
+export function filterNot(as, f, __tsplusTrace) {
+  return filter_1(as, a => map_1(b => !b, __tsplusTrace)(f(a)), __tsplusTrace);
 }
-
-function filterOrElse_1(fa, predicate, or, __tsplusTrace) {
-  return flatMap_1(fa, a => predicate(a) ? succeedNow_1(a, __tsplusTrace) : defer_1(() => or(a), __tsplusTrace), __tsplusTrace);
+function filterOrElse_1(predicate, or, __tsplusTrace) {
+  return fa => {
+    return flatMap_1(a => predicate(a) ? succeedNow_1(a, __tsplusTrace) : defer_1(() => or(a), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
-
-export function filterOrFail_(fa, predicate, failWith, __tsplusTrace) {
-  return filterOrElse_1(fa, predicate, a => failNow_1(failWith(a), __tsplusTrace), __tsplusTrace);
+export function filterOrFail(predicate, failWith, __tsplusTrace) {
+  return fa => {
+    return filterOrElse_1(predicate, a => failNow_1(failWith(a), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
 /**
  * Returns an `IO` that yields the value of the first
@@ -617,42 +489,36 @@ export function filterOrFail_(fa, predicate, failWith, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps firstSuccess
  */
-
 export function firstSuccess(mas, __tsplusTrace) {
-  return mas.reduce((b, a) => orElse_1(b, () => a, __tsplusTrace));
+  return mas.reduce((b, a) => orElse_1(() => a, __tsplusTrace)(b));
 }
-export function filterOrHalt_(fa, predicate, haltWith, __tsplusTrace) {
-  return filterOrElse_1(fa, predicate, a => haltNow_1(haltWith(a), __tsplusTrace), __tsplusTrace);
+export function filterOrHalt(predicate, haltWith, __tsplusTrace) {
+  return fa => {
+    return filterOrElse_1(predicate, a => haltNow_1(haltWith(a), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
 /**
  * @tsplus getter fncts.io.IO flatten
  */
-
 export function flatten(self, __tsplusTrace) {
-  return flatMap_1(self, identity, __tsplusTrace);
+  return flatMap_1(identity, __tsplusTrace)(self);
 }
 /**
  * Folds an `Iterable<A>` using an effectful function f, working sequentially from left to right.
  *
  * @tsplus static fncts.io.IOOps foldLeft
  */
-
 function foldLeft_1(as, b, f, __tsplusTrace) {
-  return tsplus_module_11.foldLeft_(as, succeedNow_1(b, __tsplusTrace), (acc, el) => flatMap_1(acc, a => f(a, el), __tsplusTrace));
+  return tsplus_module_11.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
  */
-
-
-export function foldMap_(as, f,
-/** @tsplus auto */
-M) {
-  return foldLeft_1(as, M.nat, (m, a) => map_1(a, a => M.combine(m, f(a)), fileName_1 + ":787:48"), fileName_1 + ":787:21");
+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 + ":664:48")(a), fileName_1 + ":664:21");
 }
-
 function foldRightLoop(iterator, b, f, __tsplusTrace) {
   const next = iterator.next();
   return next.done ? b : f(next.value, foldRightLoop(iterator, b, f, __tsplusTrace));
@@ -662,15 +528,12 @@ function foldRightLoop(iterator, b, f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps foldRight
  */
-
-
-export function foldRight_(as, b, f, __tsplusTrace) {
+export function foldRight(as, b, f, __tsplusTrace) {
   return foldRightLoop(as[Symbol.iterator](), b, f, __tsplusTrace);
 }
-
 function foreachWithIndexDiscardLoop(iterator, f, i = 0, __tsplusTrace) {
   const next = iterator.next();
-  return next.done ? unit_1 : flatMap_1(f(i, next.value), () => foreachWithIndexDiscardLoop(iterator, f, i + 1, __tsplusTrace), __tsplusTrace);
+  return next.done ? unit_1 : flatMap_1(() => foreachWithIndexDiscardLoop(iterator, f, i + 1, __tsplusTrace), __tsplusTrace)(f(i, next.value));
 }
 /**
  * Applies the function `f` to each element of the `Iterable<A>` and
@@ -681,15 +544,13 @@ function foreachWithIndexDiscardLoop(iterator, f, i = 0, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps foreach
  */
-
-
 function foreach_1(as, f, __tsplusTrace) {
   return defer_1(() => {
     const acc = [];
-    return as_1(foreachWithIndexDiscard_1(as, (_, a) => flatMap_1(f(a), b => {
+    return as_1(() => tsplus_module_12.from(acc), __tsplusTrace)(foreachWithIndexDiscard_1(as, (_, a) => flatMap_1(b => {
       acc.push(b);
       return unit_1;
-    }, __tsplusTrace), __tsplusTrace), () => tsplus_module_12.from(acc), __tsplusTrace);
+    }, __tsplusTrace)(f(a)), __tsplusTrace));
   }, __tsplusTrace);
 }
 /**
@@ -701,21 +562,18 @@ function foreach_1(as, f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps foreachWithIndex
  */
-
-
-export function foreachWithIndex_(as, f, __tsplusTrace) {
+export function foreachWithIndex(as, f, __tsplusTrace) {
   return defer_1(() => {
     const acc = [];
-    return as_1(foreachWithIndexDiscard_1(as, (i, a) => flatMap_1(f(i, a), b => {
+    return as_1(() => tsplus_module_12.from(acc), __tsplusTrace)(foreachWithIndexDiscard_1(as, (i, a) => flatMap_1(b => {
       acc.push(b);
       return unit_1;
-    }, __tsplusTrace), __tsplusTrace), () => tsplus_module_12.from(acc), __tsplusTrace);
+    }, __tsplusTrace)(f(i, a)), __tsplusTrace));
   }, __tsplusTrace);
 }
 /**
  * @tsplus static fncts.io.IOOps foreachWithIndexDiscard
  */
-
 function foreachWithIndexDiscard_1(as, f, __tsplusTrace) {
   return defer_1(() => foreachWithIndexDiscardLoop(as[Symbol.iterator](), f), __tsplusTrace);
 }
@@ -725,8 +583,6 @@ function foreachWithIndexDiscard_1(as, f, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps foreachDiscard
  */
-
-
 function foreachDiscard_1(as, f, __tsplusTrace) {
   return defer_1(() => foreachWithIndexDiscardLoop(as[Symbol.iterator](), (_, a) => f(a)), __tsplusTrace);
 }
@@ -735,64 +591,32 @@ function foreachDiscard_1(as, f, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.IO forever
  */
-
-
 function forever_1(ma, __tsplusTrace) {
-  return flatMap_1(apSecond_1(ma, yieldNow_1, __tsplusTrace), () => forever_1(ma, __tsplusTrace), __tsplusTrace);
-}
-/**
- * Returns an IO that forks this IO into its own separate fiber,
- * returning the fiber immediately, without waiting for it to begin executing
- * the IO.
- *
- * You can use the `fork` method whenever you want to execute an IO in a
- * new fiber, concurrently and without "blocking" the fiber executing other
- * IOs. Using fibers can be tricky, so instead of using this method
- * directly, consider other higher-level methods, such as `raceWith`,
- * `zipPar`, and so forth.
- *
- * The fiber returned by this method has methods interrupt the fiber and to
- * wait for it to finish executing the IO. See `Fiber` for more
- * information.
- *
- * Whenever you use this method to launch a new fiber, the new fiber is
- * attached to the parent fiber's scope. This means when the parent fiber
- * terminates, the child fiber will be terminated as well, ensuring that no
- * fibers leak. This behavior is called "None supervision", and if this
- * behavior is not desired, you may use the `forkDaemon` or `forkIn`
- * methods.
- *
- * @tsplus getter fncts.io.IO fork
- */
-
-
-export function fork(ma, __tsplusTrace) {
-  return new Fork(ma, tsplus_module_2.nothing(), __tsplusTrace);
+  return flatMap_1(() => forever_1(ma, __tsplusTrace), __tsplusTrace)(zipRight_1(yieldNow_1, __tsplusTrace)(ma));
 }
 /**
  * Lifts an `Either` into an `IO`
  *
  * @tsplus static fncts.io.IOOps fromEither
  */
-
 export function fromEither(either, __tsplusTrace) {
-  return flatMap_1(succeed_1(either, __tsplusTrace), ea => tsplus_module_6.match_(ea, failNow_1, succeedNow_1), __tsplusTrace);
+  return flatMap_1(ea => tsplus_module_4.match(failNow_1, succeedNow_1)(ea), __tsplusTrace)(succeed_1(either, __tsplusTrace));
 }
 /**
  * Lifts an `Either` into an `IO`
  *
  * @tsplus static fncts.io.IOOps fromEitherNow
+ * @tsplus getter fncts.Either toIO
  */
-
 export function fromEitherNow(either, __tsplusTrace) {
-  return tsplus_module_6.match_(either, failNow_1, succeedNow_1);
+  return tsplus_module_4.match(failNow_1, succeedNow_1)(either);
 }
 /**
  * Lifts an `Eval` into an `IO`
  *
  * @tsplus static fncts.io.IOOps fromEval
+ * @tsplus getter fncts.Eval toIO
  */
-
 export function fromEval(computation, __tsplusTrace) {
   return succeed_1(() => tsplus_module_14.run(computation), __tsplusTrace);
 }
@@ -801,18 +625,17 @@ export function fromEval(computation, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps fromExit
  */
-
 export function fromExit(exit, __tsplusTrace) {
-  return defer_1(() => tsplus_module_15.match_(exit(), failCauseNow_1, succeedNow_1), __tsplusTrace);
+  return defer_1(() => tsplus_module_15.match(failCauseNow_1, succeedNow_1)(exit()), __tsplusTrace);
 }
 /**
  * Creates a `IO` from an exit value
  *
  * @tsplus static fncts.io.IOOps fromExitNow
+ * @tsplus getter fncts.Exit toIO
  */
-
 export function fromExitNow(exit, __tsplusTrace) {
-  return tsplus_module_15.match_(exit, failCauseNow_1, succeedNow_1);
+  return tsplus_module_15.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
@@ -820,16 +643,15 @@ export function fromExitNow(exit, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps fromMaybe
  */
-
 export function fromMaybe(maybe, __tsplusTrace) {
-  return flatMap_1(succeed_1(maybe, __tsplusTrace), m => tsplus_module_4.match_(m, () => failNow_1(tsplus_module_2.nothing(), __tsplusTrace), succeedNow_1), __tsplusTrace);
+  return flatMap_1(m => tsplus_module_16.match(() => failNow_1(tsplus_module_3.nothing(), __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_4.match_(maybe, () => failNow_1(tsplus_module_2.nothing(), __tsplusTrace), succeedNow_1);
+  return tsplus_module_16.match(() => failNow_1(tsplus_module_3.nothing(), __tsplusTrace), succeedNow_1)(maybe);
 }
 /**
  * Create an IO that when executed will construct `promise` and wait for its result,
@@ -837,7 +659,6 @@ export function fromMaybeNow(maybe, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps fromPromiseCatch
  */
-
 function fromPromiseCatch_1(promise, onReject, __tsplusTrace) {
   return async_1(k => {
     promise().then(a => k(succeedNow_1(a, __tsplusTrace))).catch(e => k(failNow_1(onReject(e), __tsplusTrace)));
@@ -849,8 +670,6 @@ function fromPromiseCatch_1(promise, onReject, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps fromPromise
  */
-
-
 export function fromPromise(promise, __tsplusTrace) {
   return fromPromiseCatch_1(promise, identity, __tsplusTrace);
 }
@@ -859,7 +678,6 @@ export function fromPromise(promise, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps fromPromiseHalt
  */
-
 export function fromPromiseHalt(promise, __tsplusTrace) {
   return async_1(k => {
     promise().then(a => k(succeedNow_1(a, __tsplusTrace))).catch(e => k(haltNow_1(e, __tsplusTrace)));
@@ -870,44 +688,42 @@ export function fromPromiseHalt(promise, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.IO get
  */
-
 export function get(ma, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => failCauseNow_1(tsplus_module_5.map_(cause, tsplus_module_2.just), __tsplusTrace), ma => tsplus_module_4.match_(ma, () => failNow_1(tsplus_module_2.nothing(), __tsplusTrace), succeedNow_1), __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), succeedNow_1)(ma), __tsplusTrace)(ma);
 }
 /**
  * Extracts the optional value, or returns the given 'orElse'.
  *
- * @tsplus fluent fncts.io.IO getOrElse
+ * @tsplus pipeable fncts.io.IO getOrElse
  */
-
-export function getOrElse_(ma, orElse, __tsplusTrace) {
-  return map_1(ma, ma => tsplus_module_7.getOrElse_(ma, orElse), __tsplusTrace);
+export function getOrElse(orElse, __tsplusTrace) {
+  return ma => {
+    return map_1(ma => tsplus_module_6.getOrElse(orElse)(ma), __tsplusTrace)(ma);
+  };
 }
 /**
  * Extracts the optional value, or executes the effect 'orElse'.
  *
- * @tsplus fluent fncts.io.IO getOrElseIO
+ * @tsplus pipeable fncts.io.IO getOrElseIO
  */
-
-export function getOrElseIO_(ma, orElse, __tsplusTrace) {
-  return flatMap_1(ma, mab => tsplus_module_7.getOrElse_(tsplus_module_7.map_(mab, succeedNow_1), 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);
+  };
 }
 /**
  * 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_4.match_(maybe, () => fail_1(onNothing, __tsplusTrace), succeedNow_1), __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.
  *
  * @tsplus static fncts.io.IOOps getOrFailUnit
  */
-
-
 export function getOrFailUnit(option, __tsplusTrace) {
   return getOrFailWith_1(option, () => undefined, __tsplusTrace);
 }
@@ -918,9 +734,8 @@ export function getOrFailUnit(option, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps halt
  */
-
 export function halt(e, __tsplusTrace) {
-  return failCause_1(() => tsplus_module_5.halt(e(), tsplus_module_16.none), __tsplusTrace);
+  return failCause_1(() => tsplus_module_2.halt(e(), tsplus_module_17.none), __tsplusTrace);
 }
 /**
  * Creates an `IO` that halts with the specified defect
@@ -929,50 +744,44 @@ export function halt(e, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps haltNow
  */
-
 function haltNow_1(e, __tsplusTrace) {
-  return failCauseNow_1(tsplus_module_5.halt(e, tsplus_module_16.none), __tsplusTrace);
+  return failCauseNow_1(tsplus_module_2.halt(e, tsplus_module_17.none), __tsplusTrace);
 }
 /**
- * @tsplus fluent fncts.io.IO ifIO
+ * @tsplus pipeable fncts.io.IO ifIO
  */
-
-
-function ifIO_1(self, onFalse, onTrue, __tsplusTrace) {
-  return flatMap_1(self, b => b ? onTrue() : onFalse(), __tsplusTrace);
+function ifIO_1(onFalse, onTrue, __tsplusTrace) {
+  return self => {
+    return flatMap_1(b => b ? onTrue() : onFalse(), __tsplusTrace)(self);
+  };
 }
 /**
  * @tsplus static fncts.io.IOOps if
  */
-
-
-export function if_(b, onTrue, onFalse, __tsplusTrace) {
-  return ifIO_1(succeedNow_1(b, __tsplusTrace), onTrue, onFalse, __tsplusTrace);
+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(fa, () => undefined, () => undefined, __tsplusTrace);
+  return match_1(() => undefined, () => undefined, __tsplusTrace)(fa);
 }
 /**
  * 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(ma, () => true, () => false, __tsplusTrace);
+  return match_1(() => true, () => false, __tsplusTrace)(ma);
 }
 /**
  * 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(ma, () => false, () => true, __tsplusTrace);
+  return match_1(() => false, () => true, __tsplusTrace)(ma);
 }
 /**
  * Iterates with the specified effectual function. The moral equivalent of:
@@ -989,26 +798,25 @@ export function isSuccess(ma, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps iterate
  */
-
 function iterate_1(initial, cont, body, __tsplusTrace) {
-  return cont(initial) ? flatMap_1(body(initial), a => iterate_1(a, cont, body, __tsplusTrace), __tsplusTrace) : succeedNow_1(initial, __tsplusTrace);
+  return cont(initial) ? flatMap_1(a => iterate_1(a, cont, body, __tsplusTrace), __tsplusTrace)(body(initial)) : succeedNow_1(initial, __tsplusTrace);
 }
 /**
  *  Returns an IO with the value on the left part.
  *
  * @tsplus static fncts.io.IOOps left
  */
-
-
 export function left(a, __tsplusTrace) {
-  return flatMap_1(succeed_1(a, __tsplusTrace), a => succeedNow_1(tsplus_module_3.left(a), __tsplusTrace), __tsplusTrace);
+  return flatMap_1(a => succeedNow_1(tsplus_module_9.left(a), __tsplusTrace), __tsplusTrace)(succeed_1(a, __tsplusTrace));
 }
 /**
  * @tsplus static fncts.io.IOOps log
  */
-
 export function log(message, __tsplusTrace) {
-  return new Logged(message, tsplus_module_5.empty(), tsplus_module_2.nothing(), __tsplusTrace);
+  return withFiberRuntime_1(fiber => {
+    fiber.log(message, tsplus_module_2.empty(), tsplus_module_3.nothing(), __tsplusTrace);
+    return unit_1;
+  }, __tsplusTrace);
 }
 /**
  * Loops with the specified effectual function, collecting the results into a
@@ -1028,12 +836,11 @@ export function log(message, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps loop
  */
-
 function loop_1(initial, cont, inc, body, __tsplusTrace) {
   if (cont(initial)) {
-    return flatMap_1(body(initial), a => map_1(loop_1(inc(initial), cont, inc, body, __tsplusTrace), as => tsplus_module_10.prepend_(as, a), __tsplusTrace), __tsplusTrace);
+    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));
   } else {
-    return succeedNow_1(tsplus_module_17.empty(), __tsplusTrace);
+    return succeedNow_1(tsplus_module_18.empty(), __tsplusTrace);
   }
 }
 /**
@@ -1051,11 +858,9 @@ function loop_1(initial, cont, inc, body, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps loopUnit
  */
-
-
-export function loopUnit_(initial, cont, inc, body, __tsplusTrace) {
+export function loopUnit(initial, cont, inc, body, __tsplusTrace) {
   if (cont(initial)) {
-    return asUnit_1(flatMap_1(body(initial), () => loop_1(inc(initial), cont, inc, body, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+    return asUnit_1(flatMap_1(() => loop_1(inc(initial), cont, inc, body, __tsplusTrace), __tsplusTrace)(body(initial)), __tsplusTrace);
   } else {
     return unit_1;
   }
@@ -1063,11 +868,12 @@ export function loopUnit_(initial, cont, inc, body, __tsplusTrace) {
 /**
  * Returns an `IO` whose success is mapped by the specified function `f`.
  *
- * @tsplus fluent fncts.io.IO map
+ * @tsplus pipeable fncts.io.IO map
  */
-
-function map_1(fa, f, __tsplusTrace) {
-  return flatMap_1(fa, a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace);
+function map_1(f, __tsplusTrace) {
+  return fa => {
+    return flatMap_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
 /**
  * Map covariantly over the first argument.
@@ -1076,126 +882,108 @@ function map_1(fa, f, __tsplusTrace) {
  * function. This can be used to lift a "smaller" error into a "larger"
  * error.
  *
- * @tsplus fluent fncts.io.IO mapError
+ * @tsplus pipeable fncts.io.IO mapError
  */
-
-
-function mapError_1(fea, f, __tsplusTrace) {
-  return matchCauseIO_1(fea, cause => failCauseNow_1(tsplus_module_5.map_(cause, f), __tsplusTrace), succeedNow_1, __tsplusTrace);
+function mapError_1(f, __tsplusTrace) {
+  return fea => {
+    return matchCauseIO_1(cause => failCauseNow_1(tsplus_module_2.map(f)(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(fea);
+  };
 }
 /**
  * @tsplus static fncts.io.IOOps mapTryCatch
  */
-
-
-export function mapTryCatch_(io, f, onThrow, __tsplusTrace) {
-  return flatMap_1(io, a => tryCatch_1(() => f(a), onThrow, __tsplusTrace), __tsplusTrace);
+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
  * while preserving the original structure of Cause.
  *
- * @tsplus fluent fncts.io.IO mapErrorCause
+ * @tsplus pipeable fncts.io.IO mapErrorCause
  */
-
-function mapErrorCause_1(ma, f, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => failCauseNow_1(f(cause), __tsplusTrace), succeedNow_1, __tsplusTrace);
+function mapErrorCause_1(f, __tsplusTrace) {
+  return ma => {
+    return matchCauseIO_1(cause => failCauseNow_1(f(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  * A more powerful version of `match_` that allows recovering from any kind of failure except interruptions.
  *
- * @tsplus fluent fncts.io.IO matchCause
+ * @tsplus pipeable fncts.io.IO matchCause
  */
-
-
-export function matchCause_(self, onFailure, onSuccess, __tsplusTrace) {
-  return matchCauseIO_1(self, cause => succeedNow_1(onFailure(cause), __tsplusTrace), a => succeedNow_1(onSuccess(a), __tsplusTrace), __tsplusTrace);
+export function matchCause(onFailure, onSuccess, __tsplusTrace) {
+  return self => {
+    return matchCauseIO_1(cause => succeedNow_1(onFailure(cause), __tsplusTrace), a => succeedNow_1(onSuccess(a), __tsplusTrace), __tsplusTrace)(self);
+  };
 }
 /**
  * A more powerful version of `matchIO` that allows recovering from any kind of failure except interruptions.
  *
- * @tsplus fluent fncts.io.IO matchCauseIO
+ * @tsplus pipeable fncts.io.IO matchCauseIO
  */
-
-function matchCauseIO_1(self, onFailure, onSuccess, __tsplusTrace) {
-  return new Match(self, onFailure, onSuccess, __tsplusTrace);
+function matchCauseIO_1(onFailure, onSuccess, __tsplusTrace) {
+  return self => {
+    return new OnSuccessAndFailure(self, onFailure, onSuccess, __tsplusTrace);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO matchIO
+ * @tsplus pipeable fncts.io.IO matchIO
  */
-
-
-function matchIO_1(self, onFailure, onSuccess, __tsplusTrace) {
-  return matchCauseIO_1(self, cause => tsplus_module_6.match_(tsplus_module_5.failureOrCause(cause), onFailure, failCauseNow_1), 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 fluent fncts.io.IO match
+ * @tsplus pipeable fncts.io.IO match
  */
-
-
-function match_1(self, onFailure, onSuccess, __tsplusTrace) {
-  return matchIO_1(self, e => succeedNow_1(onFailure(e), __tsplusTrace), a => succeedNow_1(onSuccess(a), __tsplusTrace), __tsplusTrace);
+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);
+  };
 }
 /**
  * A version of `matchIO` that gives you the (optional) trace of the error.
  *
- * @tsplus fluent fncts.io.IO matchTraceIO
+ * @tsplus pipeable fncts.io.IO matchTraceIO
  */
-
-
-export function matchTraceIO_(ma, onFailure, onSuccess, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => tsplus_module_6.match_(tsplus_module_5.failureTraceOrCause(cause), ([e, trace]) => onFailure(e, trace), failCauseNow_1), onSuccess, __tsplusTrace);
+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);
+  };
 }
 /**
  * @tsplus getter fncts.io.IO maybe
  */
-
 export function maybe(io, __tsplusTrace) {
-  return match_1(io, () => tsplus_module_2.nothing(), tsplus_module_2.just, __tsplusTrace);
+  return match_1(() => tsplus_module_3.nothing(), tsplus_module_3.just, __tsplusTrace)(io);
 }
 /**
  * @tsplus getter fncts.io.IO merge
  */
-
 export function merge(io, __tsplusTrace) {
-  return matchIO_1(io, succeedNow_1, succeedNow_1, __tsplusTrace);
+  return matchIO_1(succeedNow_1, succeedNow_1, __tsplusTrace)(io);
 }
 /**
  * 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_(fas, succeed_1(() => b, __tsplusTrace), (b, a) => zipWith_1(b, a, f, __tsplusTrace));
+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);
 }
-/**
- * Returns a `IO` that will never produce anything. The moral equivalent of
- * `while(true) {}`, only without the wasted CPU cycles.
- *
- * @tsplus static fncts.io.IOOps never
- */
-
-export const never = /*#__PURE__*/defer_1(() => asyncInterrupt_1(() => {
-  const interval = setInterval(() => {//
-  }, 60000);
-  return tsplus_module_3.left(succeed_1(() => {
-    clearInterval(interval);
-  }, fileName_1 + ":1443:17"));
-}), fileName_1 + ":1437:39");
 /**
  * Converts an option on errors into an option on values.
  *
  * @tsplus getter fncts.io.IO optional
  */
-
 export function optional(ma, __tsplusTrace) {
-  return matchIO_1(ma, me => tsplus_module_4.match_(me, () => succeedNow_1(tsplus_module_2.nothing(), __tsplusTrace), failNow_1), a => succeedNow_1(tsplus_module_2.just(a), __tsplusTrace), __tsplusTrace);
+  return matchIO_1(me => tsplus_module_16.match(() => succeedNow_1(tsplus_module_3.nothing(), __tsplusTrace), failNow_1)(me), a => succeedNow_1(tsplus_module_3.just(a), __tsplusTrace), __tsplusTrace)(ma);
 }
 /**
  * Returns the logical disjunction of the `Boolean` value returned by this
@@ -1203,86 +991,90 @@ export function optional(ma, __tsplusTrace) {
  * operator has "short circuiting" behavior so if the value returned by this
  * effect is true the specified effect will not be evaluated.
  *
- * @tsplus fluent fncts.io.IO or
+ * @tsplus pipeable fncts.io.IO or
+ * @tsplus pipeable-operator fncts.io.IO ||
  */
-
-export function or_(ma, mb, __tsplusTrace) {
-  return flatMap_1(ma, b => b ? succeedNow_1(true, __tsplusTrace) : mb, __tsplusTrace);
+export function or(mb, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(b => b ? succeedNow_1(true, __tsplusTrace) : mb, __tsplusTrace)(ma);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO orElse
+ * @tsplus pipeable fncts.io.IO orElse
  */
-
-function orElse_1(ma, that, __tsplusTrace) {
-  return tryOrElse_1(ma, that, succeedNow_1, __tsplusTrace);
+function orElse_1(that, __tsplusTrace) {
+  return ma => {
+    return tryOrElse_1(that, succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO orElseEither
+ * @tsplus pipeable fncts.io.IO orElseEither
  */
-
-
-export function orElseEither_(self, that, __tsplusTrace) {
-  return tryOrElse_1(self, () => map_1(that(), tsplus_module_3.right, __tsplusTrace), a => succeedNow_1(tsplus_module_3.left(a), __tsplusTrace), __tsplusTrace);
+export function orElseEither(that, __tsplusTrace) {
+  return self => {
+    return tryOrElse_1(() => map_1(tsplus_module_9.right, __tsplusTrace)(that()), a => succeedNow_1(tsplus_module_9.left(a), __tsplusTrace), __tsplusTrace)(self);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO orElseFail
+ * @tsplus pipeable fncts.io.IO orElseFail
  */
-
-export function orElseFail_(ma, e, __tsplusTrace) {
-  return orElse_1(ma, () => fail_1(e, __tsplusTrace), __tsplusTrace);
+export function orElseFail(e, __tsplusTrace) {
+  return ma => {
+    return orElse_1(() => fail_1(e, __tsplusTrace), __tsplusTrace)(ma);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO orElseMaybe
+ * @tsplus pipeable fncts.io.IO orElseMaybe
  */
-
-export function orElseMaybe_(ma, that, __tsplusTrace) {
-  return catchAll_1(ma, me => tsplus_module_4.match_(me, that, e => fail_1(() => tsplus_module_2.just(e), __tsplusTrace)), __tsplusTrace);
+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))(me), __tsplusTrace)(ma);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO orElseSucceed
+ * @tsplus pipeable fncts.io.IO orElseSucceed
  */
-
-export function orElseSucceed_(ma, a, __tsplusTrace) {
-  return orElse_1(ma, () => succeed_1(a, __tsplusTrace), __tsplusTrace);
+export function orElseSucceed(a, __tsplusTrace) {
+  return ma => {
+    return orElse_1(() => succeed_1(a, __tsplusTrace), __tsplusTrace)(ma);
+  };
 }
 /**
  * @tsplus getter fncts.io.IO orHalt
  */
-
 export function orHalt(ma, __tsplusTrace) {
-  return orHaltWith_1(ma, identity, __tsplusTrace);
+  return orHaltWith_1(identity, __tsplusTrace)(ma);
 }
 /**
  * @tsplus getter fncts.io.IO orHaltKeep
  */
-
 export function orHaltKeep(ma, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => failCauseNow_1(tsplus_module_5.flatMap_(cause, tsplus_module_5.halt), __tsplusTrace), succeedNow_1, __tsplusTrace);
+  return matchCauseIO_1(cause => failCauseNow_1(tsplus_module_2.flatMap(tsplus_module_2.halt)(cause), __tsplusTrace), succeedNow_1, __tsplusTrace)(ma);
 }
 /**
- * @tsplus fluent fncts.io.IO orHaltWith
+ * @tsplus pipeable fncts.io.IO orHaltWith
  */
-
-function orHaltWith_1(ma, f, __tsplusTrace) {
-  return matchIO_1(ma, e => haltNow_1(f(e), __tsplusTrace), succeedNow_1, __tsplusTrace);
+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 fluent fncts.io.IO parallelErrors
- */
-
-
-export function parallelErrors(io, __tsplusTrace) {
-  return matchCauseIO_1(io, cause => {
-    const f = tsplus_module_5.failures(cause);
-
-    if (tsplus_module_18.length(f) === 0) {
-      return failCauseNow_1(cause, __tsplusTrace);
-    } else {
-      return failNow_1(f, __tsplusTrace);
-    }
-  }, succeedNow_1, __tsplusTrace);
+ * @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_19.length(f) === 0) {
+        return failCauseNow_1(cause, __tsplusTrace);
+      } else {
+        return failNow_1(f, __tsplusTrace);
+      }
+    }, succeedNow_1, __tsplusTrace)(io);
+  };
 }
 /**
  * Feeds elements of type `A` to a function `f` that returns an IO.
@@ -1290,113 +1082,118 @@ export function parallelErrors(io, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps partition
  */
-
-export function partition_(as, f, __tsplusTrace) {
-  return map_1(foreach_1(as, a => either_1(f(a), __tsplusTrace), __tsplusTrace), c => tsplus_module_10.separate(c), __tsplusTrace);
+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));
 }
 /**
  * Keeps some of the errors, and terminates the fiber with the rest
  *
- * @tsplus fluent fncts.io.IO refineOrHalt
+ * @tsplus pipeable fncts.io.IO refineOrHalt
  */
-
-export function refineOrHalt_(fa, pf, __tsplusTrace) {
-  return refineOrHaltWith_1(fa, pf, identity, __tsplusTrace);
+export function refineOrHalt(pf, __tsplusTrace) {
+  return fa => {
+    return refineOrHaltWith_1(pf, identity, __tsplusTrace)(fa);
+  };
 }
 /**
  * Keeps some of the errors, and terminates the fiber with the rest, using
  * the specified function to convert the `E` into a `Throwable`.
  *
- * @tsplus fluent fncts.io.IO refineOrHaltWith
+ * @tsplus pipeable fncts.io.IO refineOrHaltWith
  */
-
-function refineOrHaltWith_1(fa, pf, f, __tsplusTrace) {
-  return catchAll_1(fa, e => tsplus_module_4.match_(pf(e), () => haltNow_1(f(e), __tsplusTrace), failNow_1), __tsplusTrace);
+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);
+  };
 }
 /**
  * Fail with the returned value if the partial function `pf` matches, otherwise
  * continue with the held value.
  *
- * @tsplus fluent fncts.io.IO reject
+ * @tsplus pipeable fncts.io.IO reject
  */
-
-
-export function reject_(fa, pf, __tsplusTrace) {
-  return rejectIO_1(fa, a => tsplus_module_7.map_(pf(a), failNow_1), __tsplusTrace);
+export function reject(pf, __tsplusTrace) {
+  return fa => {
+    return rejectIO_1(a => tsplus_module_6.map(failNow_1)(pf(a)), __tsplusTrace)(fa);
+  };
 }
 /**
  * Continue with the returned computation if the partial function `pf` matches,
  * translating the successful match into a failure, otherwise continue with
  * the held value.
  *
- * @tsplus fluent fncts.io.IO rejectIO
+ * @tsplus pipeable fncts.io.IO rejectIO
  */
-
-function rejectIO_1(fa, pf, __tsplusTrace) {
-  return flatMap_1(fa, a => tsplus_module_4.match_(pf(a), () => succeedNow_1(a, __tsplusTrace), io => flatMap_1(io, failNow_1, __tsplusTrace)), __tsplusTrace);
+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);
+  };
 }
 /**
  * Repeats this effect the specified number of times.
  *
- * @tsplus fluent fncts.io.IO repeatN
+ * @tsplus pipeable fncts.io.IO repeatN
  */
-
-
-function repeatN_1(ma, n, __tsplusTrace) {
-  return flatMap_1(ma, a => n <= 0 ? succeed_1(() => a, __tsplusTrace) : repeatN_1(ma, n - 1, __tsplusTrace), __tsplusTrace);
+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);
+  };
 }
 /**
  * Repeats this effect until its result satisfies the specified predicate.
  *
- * @tsplus fluent fncts.io.IO repeatUntil
+ * @tsplus pipeable fncts.io.IO repeatUntil
  */
-
-
-export function repeatUntil_(ma, f, __tsplusTrace) {
-  return repeatUntilIO_1(ma, a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace);
+export function repeatUntil(f, __tsplusTrace) {
+  return ma => {
+    return repeatUntilIO_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(ma);
+  };
 }
 /**
  * Repeats this effect until its error satisfies the specified effectful predicate.
  *
- * @tsplus fluent fncts.io.IO repeatUntilIO
+ * @tsplus pipeable fncts.io.IO repeatUntilIO
  */
-
-function repeatUntilIO_1(ma, f, __tsplusTrace) {
-  return flatMap_1(ma, a => flatMap_1(f(a), b => b ? succeed_1(() => a, __tsplusTrace) : repeatUntilIO_1(ma, f, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+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);
+  };
 }
 /**
  * Repeats this effect while its error satisfies the specified predicate.
  *
- * @tsplus fluent fncts.io.IO repeatWhile
+ * @tsplus pipeable fncts.io.IO repeatWhile
  */
-
-
-export function repeatWhile_(ma, f, __tsplusTrace) {
-  return repeatWhileIO_1(ma, a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace);
+export function repeatWhile(f, __tsplusTrace) {
+  return ma => {
+    return repeatWhileIO_1(a => succeedNow_1(f(a), __tsplusTrace), __tsplusTrace)(ma);
+  };
 }
 /**
  * Repeats this effect while its error satisfies the specified effectful predicate.
  *
- * @tsplus fluent fncts.io.IO repeatWhileIO
+ * @tsplus pipeable fncts.io.IO repeatWhileIO
  */
-
-function repeatWhileIO_1(ma, f, __tsplusTrace) {
-  return flatMap_1(ma, a => flatMap_1(f(a), b => b ? repeatWhileIO_1(ma, f, __tsplusTrace) : succeed_1(() => a, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+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);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO replicate
+ * @tsplus pipeable fncts.io.IO replicate
  */
-
-
-export function replicate_(self, n, __tsplusTrace) {
-  return tsplus_module_20.map_(tsplus_module_19.range(0, n), () => self);
+export function replicate(n, __tsplusTrace) {
+  return self => {
+    return tsplus_module_21.map(() => self)(tsplus_module_20.range(0, n));
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO require
+ * @tsplus pipeable fncts.io.IO require
  */
-
-export function require_(ma, error, __tsplusTrace) {
-  return flatMap_1(ma, ma => tsplus_module_4.match_(ma, () => fail_1(error, __tsplusTrace), succeedNow_1), __tsplusTrace);
+export function require(error, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(ma => tsplus_module_16.match(() => fail_1(error, __tsplusTrace), succeedNow_1)(ma), __tsplusTrace)(ma);
+  };
 }
 /**
  * Returns an IO that semantically runs the IO on a fiber,
@@ -1404,100 +1201,82 @@ export function require_(ma, error, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.IO result
  */
-
 export function result(ma, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => succeedNow_1(tsplus_module_9.failCause(cause), __tsplusTrace), a => succeedNow_1(tsplus_module_9.succeed(a), __tsplusTrace), __tsplusTrace);
+  return matchCauseIO_1(cause => succeedNow_1(tsplus_module_22.failCause(cause), __tsplusTrace), a => succeedNow_1(tsplus_module_22.succeed(a), __tsplusTrace), __tsplusTrace)(ma);
 }
 /**
  * Recover from the unchecked failure of the `IO`. (opposite of `orHalt`)
  *
  * @trace call
  */
-
 export function resurrect(io, __tsplusTrace) {
-  return unrefineWith_1(io, tsplus_module_2.just, identity, __tsplusTrace);
+  return unrefineWith_1(tsplus_module_3.just, identity, __tsplusTrace)(io);
 }
 /**
  * Retries this effect until its error satisfies the specified predicate.
  *
- * @tsplus fluent fncts.io.IO retryUntil
+ * @tsplus pipeable fncts.io.IO retryUntil
  */
-
-export function retryUntil_(fa, f, __tsplusTrace) {
-  return retryUntilIO_1(fa, e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace);
+export function retryUntil(f, __tsplusTrace) {
+  return fa => {
+    return retryUntilIO_1(e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
 /**
  * Retries this effect until its error satisfies the specified effectful predicate.
  *
- * @tsplus fluent fncts.io.IO retryUntilIO
+ * @tsplus pipeable fncts.io.IO retryUntilIO
  */
-
-function retryUntilIO_1(fa, f, __tsplusTrace) {
-  return catchAll_1(fa, e => flatMap_1(f(e), b => b ? failNow_1(e, __tsplusTrace) : retryUntilIO_1(fa, f, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+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);
+  };
 }
 /**
  * Retries this effect while its error satisfies the specified predicate.
  *
- * @tsplus fluent fncts.io.IO retryWhile
+ * @tsplus pipeable fncts.io.IO retryWhile
  */
-
-
-export function retryWhile_(fa, f, __tsplusTrace) {
-  return retryWhileIO_1(fa, e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace);
+export function retryWhile(f, __tsplusTrace) {
+  return fa => {
+    return retryWhileIO_1(e => succeedNow_1(f(e), __tsplusTrace), __tsplusTrace)(fa);
+  };
 }
 /**
  * Retries this effect while its error satisfies the specified effectful predicate.
  *
- * @tsplus fluent fncts.io.IO retryWhileIO
+ * @tsplus pipeable fncts.io.IO retryWhileIO
  */
-
-function retryWhileIO_1(fa, f, __tsplusTrace) {
-  return catchAll_1(fa, e => flatMap_1(f(e), b => b ? retryWhileIO_1(fa, f, __tsplusTrace) : fail_1(() => e, __tsplusTrace), __tsplusTrace), __tsplusTrace);
+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);
+  };
 }
-/**
- * Retrieves the runtimeConfig that this effect is running on.
- *
- * @tsplus static fncts.io.IOOps runtimeConfig
- */
-
-
-export const runtimeConfig = /*#__PURE__*/deferWith_1(runtimeConfig => succeedNow_1(runtimeConfig, fileName_1 + ":1776:95"), fileName_1 + ":1776:62");
 /**
  * Exposes the full cause of failure of this effect.
  *
  * @tsplus getter fncts.io.IO sandbox
  */
-
 function sandbox_1(fa, __tsplusTrace) {
-  return matchCauseIO_1(fa, failNow_1, succeedNow_1, __tsplusTrace);
+  return matchCauseIO_1(failNow_1, succeedNow_1, __tsplusTrace)(fa);
 }
 /**
- * @tsplus fluent fncts.io.IO sandboxWith
+ * @tsplus pipeable fncts.io.IO sandboxWith
  */
-
-
-export function sandboxWith_(ma, f, __tsplusTrace) {
-  return unsandbox_1(f(sandbox_1(ma, __tsplusTrace)), __tsplusTrace);
-}
-/**
- * Sets the runtime configuration to the specified value.
- * @tsplus static fncts.io.IOOps setRuntimeConfig
- */
-
-export function setRuntimeConfig(runtimeConfig, __tsplusTrace) {
-  return withFiberContext_1(fiber => succeed_1(() => fiber.runtimeConfig = runtimeConfig(), __tsplusTrace), __tsplusTrace);
+export function sandboxWith(f, __tsplusTrace) {
+  return ma => {
+    return unsandbox_1(f(sandbox_1(ma, __tsplusTrace)), __tsplusTrace);
+  };
 }
 /**
  * @tsplus static fncts.io.IOOps sequenceIterable
  */
-
 export function sequenceIterable(as, __tsplusTrace) {
   return foreach_1(as, identity, __tsplusTrace);
 }
 /**
  * @tsplus static fncts.io.IOOps sequenceIterableDiscard
  */
-
 export function sequenceIterableDiscard(as, __tsplusTrace) {
   return foreachDiscard_1(as, identity, __tsplusTrace);
 }
@@ -1506,7 +1285,6 @@ export function sequenceIterableDiscard(as, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps succeedNow
  */
-
 function succeedNow_1(value, __tsplusTrace) {
   return new SucceedNow(value, __tsplusTrace);
 }
@@ -1518,66 +1296,57 @@ function succeedNow_1(value, __tsplusTrace) {
  * @tsplus static fncts.io.IOOps succeed
  * @tsplus static fncts.io.IOOps __call
  */
-
-
 function succeed_1(effect, __tsplusTrace) {
-  return new Succeed(effect, __tsplusTrace);
+  return new Sync(effect, __tsplusTrace);
 }
 /**
- * @tsplus fluent fncts.io.IO summarized
+ * @tsplus pipeable fncts.io.IO summarized
  */
-
-
-function summarized_1(ma, summary, f, __tsplusTrace) {
-  return gen_1(function* (_) {
-    const start = yield* _(summary, __tsplusTrace);
-    const value = yield* _(ma, __tsplusTrace);
-    const end = yield* _(summary, __tsplusTrace);
-    return tuple(f(start, end), value);
-  }, __tsplusTrace);
+function summarized_1(summary, f, __tsplusTrace) {
+  return ma => {
+    return gen_1(function* (_) {
+      const start = yield* _(summary, __tsplusTrace);
+      const value = yield* _(ma, __tsplusTrace);
+      const end = yield* _(summary, __tsplusTrace);
+      return tuple(f(start, end), value);
+    }, __tsplusTrace);
+  };
 }
 /**
  * Swaps the positions of a Bifunctor's arguments
  *
  * @tsplus getter fncts.io.IO swap
  */
-
-
 function swap_1(pab, __tsplusTrace) {
-  return matchIO_1(pab, succeedNow_1, failNow_1, __tsplusTrace);
+  return matchIO_1(succeedNow_1, failNow_1, __tsplusTrace)(pab);
 }
 /**
  * Swaps the error/value parameters, applies the function `f` and flips the parameters back
  *
- * @tsplus fluent fncts.io.IO swapWith
+ * @tsplus pipeable fncts.io.IO swapWith
  */
-
-
-function swapWith_1(fa, f, __tsplusTrace) {
-  return swap_1(f(swap_1(fa, __tsplusTrace)), __tsplusTrace);
+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 fluent fncts.io.IO timedWith
+ * @tsplus pipeable fncts.io.IO timedWith
  */
-
-
-export function timedWith_(ma, msTime, __tsplusTrace) {
-  return summarized_1(ma, msTime, (start, end) => end - start, __tsplusTrace);
+export function timedWith(msTime, __tsplusTrace) {
+  return ma => summarized_1(msTime, (start, end) => end - start, __tsplusTrace)(ma);
 }
 /**
  * Creates a `IO` that has succeeded with a pure value
  *
  * @tsplus static fncts.io.IOOps tryCatch
  */
-
 function tryCatch_1(effect, onThrow, __tsplusTrace) {
   return succeed_1(() => {
     try {
       return effect();
     } catch (u) {
-      throw new IOError(tsplus_module_9.fail(onThrow(u)));
+      throw new IOError(tsplus_module_2.fail(onThrow(u)));
     }
   }, __tsplusTrace);
 }
@@ -1586,10 +1355,8 @@ function tryCatch_1(effect, onThrow, __tsplusTrace) {
  *
  * @tsplus getter fncts.io.IO absolve
  */
-
-
 export function absolve(ma, __tsplusTrace) {
-  return flatMap_1(ma, ea => tsplus_module_6.match_(ea, failNow_1, succeedNow_1), __tsplusTrace);
+  return flatMap_1(ea => tsplus_module_4.match(failNow_1, succeedNow_1)(ea), __tsplusTrace)(ma);
 }
 /**
  * Composes computations in sequence, using the return value of one computation as input for the next
@@ -1597,83 +1364,82 @@ export function absolve(ma, __tsplusTrace) {
  *
  * Returns an IO that effectfully "peeks" at the success of this effect.
  *
- * @tsplus fluent fncts.io.IO tap
+ * @tsplus pipeable fncts.io.IO tap
  */
-
-export function tap_(self, f, __tsplusTrace) {
-  return flatMap_1(self, a => map_1(f(a), () => a, __tsplusTrace), __tsplusTrace);
+export function tap(f, __tsplusTrace) {
+  return self => {
+    return flatMap_1(a => map_1(() => a, __tsplusTrace)(f(a)), __tsplusTrace)(self);
+  };
 }
 /**
  * Returns an IO that effectually "peeks" at the cause of the failure of
  * this IO.
  *
- * @tsplus fluent fncts.io.IO tapCause
+ * @tsplus pipeable fncts.io.IO tapCause
  */
-
-export function tapCause_(ma, f, __tsplusTrace) {
-  return matchCauseIO_1(ma, c => flatMap_1(f(c), () => failCauseNow_1(c, __tsplusTrace), __tsplusTrace), succeedNow_1, __tsplusTrace);
+export function tapCause(f, __tsplusTrace) {
+  return ma => {
+    return matchCauseIO_1(c => flatMap_1(() => failCauseNow_1(c, __tsplusTrace), __tsplusTrace)(f(c)), succeedNow_1, __tsplusTrace)(ma);
+  };
 }
 /**
  * Returns an IO that effectfully "peeks" at the failure of this effect.
  *
- * @tsplus fluent fncts.io.IO tapError
+ * @tsplus pipeable fncts.io.IO tapError
  */
-
-export function tapError_(self, f, __tsplusTrace) {
-  return matchCauseIO_1(self, cause => tsplus_module_6.match_(tsplus_module_5.failureOrCause(cause), e => flatMap_1(f(e), () => failCauseNow_1(cause, __tsplusTrace), __tsplusTrace), _ => failCauseNow_1(cause, __tsplusTrace)), succeedNow_1, __tsplusTrace);
+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);
 }
 /**
  * Returns an effect that effectually "peeks" at the cause of the failure of
  * this effect.
  *
- * @tsplus fluent fncts.io.IO tapErrorCause
+ * @tsplus pipeable fncts.io.IO tapErrorCause
  */
-
-export function tapErrorCause_(self, f, __tsplusTrace) {
-  return matchCauseIO_1(self, cause => apSecond_1(f(cause), failCauseNow_1(cause, __tsplusTrace), __tsplusTrace), succeedNow_1, __tsplusTrace);
+export function tapErrorCause(f, __tsplusTrace) {
+  return self => {
+    return matchCauseIO_1(cause => zipRight_1(failCauseNow_1(cause, __tsplusTrace), __tsplusTrace)(f(cause)), succeedNow_1, __tsplusTrace)(self);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO tryOrElse
+ * @tsplus pipeable fncts.io.IO tryOrElse
  */
-
-function tryOrElse_1(ma, that, onSuccess, __tsplusTrace) {
-  return matchCauseIO_1(ma, cause => tsplus_module_4.match_(tsplus_module_5.keepDefects(cause), that, failCauseNow_1), onSuccess, __tsplusTrace);
+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);
+  };
 }
 /**
  * @tsplus static fncts.io.IOOps unit
  */
-
-
-const unit_1 = /*#__PURE__*/succeedNow_1(undefined, fileName_1 + ":1988:45");
+const unit_1 = /*#__PURE__*/succeedNow_1(undefined, fileName_1 + ":1796:45");
 export const unit = unit_1;
 /**
  * Converts an option on errors into an option on values.
  *
  * @tsplus getter fncts.io.IO unjust
  */
-
 export function unjust(self, __tsplusTrace) {
-  return matchIO_1(self, e => tsplus_module_4.match_(e, () => succeedNow_1(tsplus_module_2.nothing(), __tsplusTrace), failNow_1), a => succeedNow_1(tsplus_module_2.just(a), __tsplusTrace), __tsplusTrace);
+  return matchIO_1(e => tsplus_module_16.match(() => succeedNow_1(tsplus_module_3.nothing(), __tsplusTrace), failNow_1)(e), a => succeedNow_1(tsplus_module_3.just(a), __tsplusTrace), __tsplusTrace)(self);
 }
 /**
  * Takes some fiber failures and converts them into errors, using the
  * specified function to convert the `E` into an `E1 | E2`.
  *
- * @tsplus fluent fncts.io.IO unrefineWith
+ * @tsplus pipeable fncts.io.IO unrefineWith
  */
-
-function unrefineWith_1(fa, pf, f, __tsplusTrace) {
-  return catchAllCause_1(fa, cause => tsplus_module_4.match_(tsplus_module_5.find_(cause, c => tsplus_module_5.isHalt(c) ? pf(c.value) : tsplus_module_2.nothing()), () => failCauseNow_1(tsplus_module_5.map_(cause, f), __tsplusTrace), failNow_1), __tsplusTrace);
+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())(cause)), __tsplusTrace)(fa);
+  };
 }
 /**
  * The inverse operation `sandbox`
  *
  * @tsplus getter fncts.io.IO unsandbox
  */
-
-
 function unsandbox_1(ma, __tsplusTrace) {
-  return mapErrorCause_1(ma, cause => tsplus_module_5.flatten(cause), __tsplusTrace);
+  return mapErrorCause_1(cause => tsplus_module_2.flatten(cause), __tsplusTrace)(ma);
 }
 /**
  * Updates the `FiberRef` values for the fiber running this effect using the
@@ -1681,42 +1447,51 @@ function unsandbox_1(ma, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps updateFiberRefs
  */
-
-
 export function updateFiberRefs(f, __tsplusTrace) {
-  return withFiberContext_1(fiber => succeed_1(() => {
-    const newFiberRefs = f(fiber.fiberId, fiber.fiberRefs);
-    fiber.fiberRefLocals = newFiberRefs.fiberRefLocals;
-  }, __tsplusTrace), __tsplusTrace);
-}
-/**
- * @tsplus static fncts.io.IOOps withFiberContext
- */
-
-function withFiberContext_1(onState, __tsplusTrace) {
-  return new Stateful(onState, __tsplusTrace);
+  return withFiberRuntime_1(state => {
+    state.setFiberRefs(f(state.id, state.getFiberRefs()));
+    return unit_1;
+  }, __tsplusTrace);
 }
 /**
  * @tsplus fluent fncts.io.IO __call
  */
-
-
 export const via = pipe;
 /**
- * @tsplus fluent fncts.io.IO when
+ * @tsplus pipeable fncts.io.IO when
  */
-
-export function when_(ma, b, __tsplusTrace) {
-  return whenIO_1(ma, succeed_1(b, __tsplusTrace), __tsplusTrace);
+export function when(b, __tsplusTrace) {
+  return ma => {
+    return whenIO_1(succeed_1(b, __tsplusTrace), __tsplusTrace)(ma);
+  };
 }
 /**
  * The moral equivalent of `if (p) exp` when `p` has side-effects
  *
- * @tsplus fluent fncts.io.IO whenIO
+ * @tsplus pipeable fncts.io.IO whenIO
+ */
+function whenIO_1(mb, __tsplusTrace) {
+  return ma => {
+    return flatMap_1(b => b ? asUnit_1(ma, __tsplusTrace) : unit_1, __tsplusTrace)(mb);
+  };
+}
+/**
+ * @tsplus static fncts.io.IOOps withFiberRuntime
+ */
+function withFiberRuntime_1(onState, __tsplusTrace) {
+  return new Stateful(onState, __tsplusTrace);
+}
+/**
+ * @tsplus static fncts.io.IOOps updateRuntimeFlags
+ */
+export function updateRuntimeFlags(patch, __tsplusTrace) {
+  return new UpdateRuntimeFlags(patch, __tsplusTrace);
+}
+/**
+ * @tsplus static fncts.io.IOOps stackTrace
  */
-
-function whenIO_1(ma, mb, __tsplusTrace) {
-  return flatMap_1(mb, b => b ? asUnit_1(ma, __tsplusTrace) : unit_1, __tsplusTrace);
+function stackTrace_1(__tsplusTrace) {
+  return new GenerateStackTrace(__tsplusTrace);
 }
 /**
  * Returns an effect that yields to the runtime system, starting on a fresh
@@ -1725,60 +1500,39 @@ function whenIO_1(ma, mb, __tsplusTrace) {
  *
  * @tsplus static fncts.io.IOOps yieldNow
  */
-
-
-const yieldNow_1 = /*#__PURE__*/new Yield();
+const yieldNow_1 = /*#__PURE__*/new YieldNow();
 export const yieldNow = yieldNow_1;
 /**
- * @tsplus fluent fncts.io.IO zip
+ * @tsplus pipeable fncts.io.IO zip
  */
-
-export function zip_(self, that, __tsplusTrace) {
-  return zipWith_1(self, that, tuple, __tsplusTrace);
+export function zip(that, __tsplusTrace) {
+  return self => {
+    return zipWith_1(that, tuple, __tsplusTrace)(self);
+  };
 }
 /**
- * @tsplus fluent fncts.io.IO zipWith
+ * @tsplus pipeable fncts.io.IO zipWith
  */
-
-function zipWith_1(self, that, f, __tsplusTrace) {
-  return flatMap_1(self, a => map_1(that, b => f(a, b), __tsplusTrace), __tsplusTrace);
+function zipWith_1(that, f, __tsplusTrace) {
+  return self => {
+    return flatMap_1(a => map_1(b => f(a, b), __tsplusTrace)(that), __tsplusTrace)(self);
+  };
 }
-
 export class GenIO {
   constructor(effect, _trace) {
     this.effect = effect;
     this._trace = _trace;
   }
-
   *[Symbol.iterator]() {
     return yield this;
   }
-
 }
 /**
  * @internal
  */
-
 export const __adapter = _ => {
-  // if (Either.isEither(_)) {
-  //   return IO.fromEither(_);
-  // }
-  // if (Maybe.isMaybe(_)) {
-  //   return __
-  //     ? _._tag === "Nothing"
-  //       ? IO.failNow(__())
-  //       : IO.succeed(_.value)
-  //     : getOrFail(_);
-  // }
-  // if (isTag(_)) {
-  //   return service(_);
-  // }
-  // if (S.isSync(_)) {
-  //   return fromSync(_);
-  // }
   return _;
 };
-
 const adapter = (_, __tsplusTrace) => {
   return new GenIO(__adapter(_), __tsplusTrace);
 };
@@ -1786,26 +1540,20 @@ const adapter = (_, __tsplusTrace) => {
  * @tsplus static fncts.io.IOOps gen
  * @gen
  */
-
-
 function gen_1(f, __tsplusTrace) {
   return defer_1(() => {
     const iterator = f(adapter);
     const state = iterator.next();
-
     const run = state => {
       if (state.done) {
         return succeed_1(() => state.value, __tsplusTrace);
       }
-
       const f = val => {
         const next = iterator.next(val);
         return run(next);
       };
-
-      return flatMap_1(state.value.effect, f, __tsplusTrace);
+      return flatMap_1(f, __tsplusTrace)(state.value.effect);
     };
-
     return run(state);
   }, __tsplusTrace);
 }