@fncts/io 0.0.12 → 0.0.13

package/Cached/api.d.ts

@@ -1,6 +1,5 @@
 import { IO, FIO } from "@fncts/io/IO/definition";
 import { Schedule } from "@fncts/io/Schedule/definition";
-import { Has } from "@fncts/base/typeclass/Has";
 import { Scope } from "@fncts/io/Scope/definition";
 import { Cached } from "@fncts/io/Cached/definition";
 import { ScopedRef } from "@fncts/io/ScopedRef/definition";
@@ -9,7 +8,7 @@ import { Exit } from "@fncts/base/data/Exit";
  * @tsplus static fncts.io.CachedOps auto
  * @tsplus location "@fncts/io/Cached/api"
  */
-export declare function auto<R, Error, Resource>(acquire: IO<R, Error, Resource>, policy: Schedule<any, any, any>, __tsplusTrace?: string): IO<R & Has<Scope>, never, Cached<Error, Resource>>;
+export declare function auto<R, Error, Resource>(acquire: IO<R, Error, Resource>, policy: Schedule<any, any, any>, __tsplusTrace?: string): IO<R | Scope, never, Cached<Error, Resource>>;
 /**
  * @tsplus getter fncts.io.Cached get
  * @tsplus location "@fncts/io/Cached/api"
@@ -19,7 +18,7 @@ export declare function get_<Error, Resource>(self: Cached<Error, Resource>, __t
  * @tsplus static fncts.io.CachedOps manual
  * @tsplus location "@fncts/io/Cached/api"
  */
-export declare function manual<R, Error, Resource>(acquire: IO<R, Error, Resource>): IO<R & Has<Scope>, never, Cached<Error, Resource>>;
+export declare function manual<R, Error, Resource>(acquire: IO<R, Error, Resource>): IO<R | Scope, never, Cached<Error, Resource>>;
 /**
  * @tsplus getter fncts.io.Cached refresh
  * @tsplus location "@fncts/io/Cached/api"

package/Channel/api/interruptWhen.d.ts

@@ -10,7 +10,7 @@ import { Future } from "@fncts/io/Future";
  * @tsplus fluent fncts.io.Channel interruptWhen
  * @tsplus location "@fncts/io/Channel/api/interruptWhen"
  */
-export declare function interruptWhen_<Env, Env1, InErr, InElem, InDone, OutErr, OutErr1, OutElem, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, io: IO<Env1, OutErr1, OutDone1>): Channel<Env1 & Env, InErr, InElem, InDone, OutErr | OutErr1, OutElem, OutDone | OutDone1>;
+export declare function interruptWhen_<Env, Env1, InErr, InElem, InDone, OutErr, OutErr1, OutElem, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, io: IO<Env1, OutErr1, OutDone1>): Channel<Env1 | Env, InErr, InElem, InDone, OutErr | OutErr1, OutElem, OutDone | OutDone1>;
 /**
  * Returns a new channel, which is the same as this one, except it will be interrupted when the
  * specified promise is completed. If the promise is completed before the underlying channel is

package/Channel/api/mapOutIOC.d.ts

@@ -5,4 +5,4 @@ import { Either } from "@fncts/base/data/Either";
  * @tsplus fluent fncts.io.Channel mapOutIOC
  * @tsplus location "@fncts/io/Channel/api/mapOutIOC"
  */
-export declare function mapOutIOC_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, OutErr1, OutElem1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, n: number, f: (_: OutElem) => IO<Env1, OutErr1, OutElem1>): Channel<Env & Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem1, OutDone>;
+export declare function mapOutIOC_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, OutErr1, OutElem1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, n: number, f: (_: OutElem) => IO<Env1, OutErr1, OutElem1>): Channel<Env | Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem1, OutDone>;

package/Channel/api/mergeAll.d.ts

@@ -4,4 +4,4 @@ import type { MergeStrategy } from "@fncts/io/Channel/api/mergeAllWith";
  * @tsplus fluent fncts.io.Channel mergeAll
  * @tsplus location "@fncts/io/Channel/api/mergeAll"
  */
-export declare function mergeAll_<Env, InErr, InElem, InDone, OutErr, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, any>, any>, n: number, bufferSize?: number, mergeStrategy?: MergeStrategy): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, unknown>;
+export declare function mergeAll_<Env, InErr, InElem, InDone, OutErr, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, any>, any>, n: number, bufferSize?: number, mergeStrategy?: MergeStrategy): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, unknown>;

package/Channel/api/mergeAllUnboundedWith.d.ts

@@ -3,4 +3,4 @@ import { Channel } from "@fncts/io/Channel";
  * @tsplus fluent fncts.io.Channel mergeAllUnboundedWith
  * @tsplus location "@fncts/io/Channel/api/mergeAllUnboundedWith"
  */
-export declare function mergeAllUnboundedWith_<Env, InErr, InElem, InDone, OutErr, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, OutDone>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, OutDone>, OutDone>, f: (x: OutDone, y: OutDone) => OutDone): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, OutDone>;
+export declare function mergeAllUnboundedWith_<Env, InErr, InElem, InDone, OutErr, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, OutDone>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, OutDone>, OutDone>, f: (x: OutDone, y: OutDone) => OutDone): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, OutDone>;

package/Channel/api/mergeAllWith.d.ts

@@ -8,4 +8,4 @@ export declare type MergeStrategy = "BackPressure" | "BufferSliding";
  * @tsplus fluent fncts.io.Channel mergeAllWith
  * @tsplus location "@fncts/io/Channel/api/mergeAllWith"
  */
-export declare function mergeAllWith_<Env, InErr, InElem, InDone, OutErr, OutDone, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, OutDone>, OutDone>, n: number, f: (x: OutDone, y: OutDone) => OutDone, bufferSize?: number, mergeStrategy?: MergeStrategy): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, OutDone>;
+export declare function mergeAllWith_<Env, InErr, InElem, InDone, OutErr, OutDone, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, OutDone>, OutDone>, n: number, f: (x: OutDone, y: OutDone) => OutDone, bufferSize?: number, mergeStrategy?: MergeStrategy): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, OutDone>;

package/Channel/api/mergeMap.d.ts

@@ -4,4 +4,4 @@ import type { MergeStrategy } from "@fncts/io/Channel/api/mergeAllWith";
  * @tsplus fluent fncts.io.Channel mergeMap
  * @tsplus location "@fncts/io/Channel/api/mergeMap"
  */
-export declare function mergeMap_<Env, InErr, InElem, InDone, OutErr, OutElem, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, any>, f: (elem: OutElem) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, any>, n: number, bufferSize?: number, mergeStrategy?: MergeStrategy): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem1, unknown>;
+export declare function mergeMap_<Env, InErr, InElem, InDone, OutErr, OutElem, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, any>, f: (elem: OutElem) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, any>, n: number, bufferSize?: number, mergeStrategy?: MergeStrategy): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem1, unknown>;

package/Channel/api/mergeWith.d.ts

@@ -11,4 +11,4 @@ import type { MergeDecision } from "@fncts/io/Channel/internal/MergeDecision";
  * @tsplus fluent fncts.io.Channel mergeWith
  * @tsplus location "@fncts/io/Channel/api/mergeWith"
  */
-export declare function mergeWith_<Env, Env1, Env2, Env3, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutErr2, OutErr3, OutElem, OutElem1, OutDone, OutDone1, OutDone2, OutDone3>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>, leftDone: (ex: Exit<OutErr, OutDone>) => MergeDecision<Env2, OutErr1, OutDone1, OutErr2, OutDone2>, rightDone: (ex: Exit<OutErr1, OutDone1>) => MergeDecision<Env3, OutErr, OutDone, OutErr3, OutDone3>): Channel<Env & Env1 & Env2 & Env3, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr2 | OutErr3, OutElem | OutElem1, OutDone2 | OutDone3>;
+export declare function mergeWith_<Env, Env1, Env2, Env3, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutErr2, OutErr3, OutElem, OutElem1, OutDone, OutDone1, OutDone2, OutDone3>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>, leftDone: (ex: Exit<OutErr, OutDone>) => MergeDecision<Env2, OutErr1, OutDone1, OutErr2, OutDone2>, rightDone: (ex: Exit<OutErr1, OutDone1>) => MergeDecision<Env3, OutErr, OutDone, OutErr3, OutDone3>): Channel<Env | Env1 | Env2 | Env3, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr2 | OutErr3, OutElem | OutElem1, OutDone2 | OutDone3>;

package/Channel/api/runScoped.d.ts

@@ -1,10 +1,9 @@
 import { IO } from "@fncts/io/IO/definition";
 import { Channel } from "@fncts/io/Channel";
-import { Has } from "@fncts/base/typeclass/Has";
 import { Scope } from "@fncts/io/Scope/definition";
 /**
  * Runs a channel until the end is received
  * @tsplus getter fncts.io.Channel runScoped
  * @tsplus location "@fncts/io/Channel/api/runScoped"
  */
-export declare function runScoped<Env, InErr, InDone, OutErr, OutDone>(self: Channel<Env, InErr, unknown, InDone, OutErr, never, OutDone>): IO<Env & Has<Scope>, OutErr, OutDone>;
+export declare function runScoped<Env, InErr, InDone, OutErr, OutDone>(self: Channel<Env, InErr, unknown, InDone, OutErr, never, OutDone>): IO<Env | Scope, OutErr, OutDone>;

package/Channel/api/toPull.d.ts

@@ -1,6 +1,5 @@
 import { Channel } from "@fncts/io/Channel";
 import { IO } from "@fncts/io/IO/definition";
-import { Has } from "@fncts/base/typeclass/Has";
 import { Scope } from "@fncts/io/Scope/definition";
 import { Either } from "@fncts/base/data/Either";
 /**
@@ -8,4 +7,4 @@ import { Either } from "@fncts/base/data/Either";
  * @tsplus getter fncts.io.Channel toPull
  * @tsplus location "@fncts/io/Channel/api/toPull"
  */
-export declare function toPull<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>): IO<Env & Has<Scope>, never, IO<Env, OutErr, Either<OutDone, OutElem>>>;
+export declare function toPull<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>): IO<Env | Scope, never, IO<Env, OutErr, Either<OutDone, OutElem>>>;

package/Channel/api/zipC.d.ts

@@ -3,14 +3,14 @@ import { Channel } from "@fncts/io/Channel";
  * @tsplus fluent fncts.io.Channel zipC
  * @tsplus location "@fncts/io/Channel/api/zipC"
  */
-export declare function zipC_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env1 & Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, readonly [OutDone, OutDone1]>;
+export declare function zipC_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, readonly [OutDone, OutDone1]>;
 /**
  * @tsplus fluent fncts.io.Channel zipFirstC
  * @tsplus location "@fncts/io/Channel/api/zipC"
  */
-export declare function zipFirstC_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env1 & Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone>;
+export declare function zipFirstC_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone>;
 /**
  * @tsplus fluent fncts.io.Channel zipSecondC
  * @tsplus location "@fncts/io/Channel/api/zipC"
  */
-export declare function zipSecondC_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env1 & Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone1>;
+export declare function zipSecondC_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone1>;

package/Channel/api.d.ts

@@ -10,7 +10,6 @@ import { Either } from "@fncts/base/data/Either";
 import { Maybe, Nothing } from "@fncts/base/data/Maybe";
 import { Queue } from "@fncts/io/Queue/definition";
 import { FiberId } from "@fncts/base/data/FiberId";
-import { Has } from "@fncts/base/typeclass/Has";
 import { Scope } from "@fncts/io/Scope/definition";
 import { Hub } from "@fncts/io/Hub/definition";
 import type { AsyncInputConsumer } from "@fncts/io/Channel/internal/AsyncInputConsumer";
@@ -59,7 +58,7 @@ export declare function acquireReleaseOut_<Env, OutErr, Acquired, Z>(acquire: IO
  * @tsplus static fncts.io.ChannelOps acquireReleaseOutExit
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function acquireReleaseOutExit_<R, R2, E, Z>(self: IO<R, E, Z>, release: (z: Z, e: Exit<unknown, unknown>) => URIO<R2, unknown>): Channel<R & R2, unknown, unknown, unknown, E, Z, void>;
+export declare function acquireReleaseOutExit_<R, R2, E, Z>(self: IO<R, E, Z>, release: (z: Z, e: Exit<unknown, unknown>) => URIO<R2, unknown>): Channel<R | R2, unknown, unknown, unknown, E, Z, void>;
 /**
  * Creates a channel backed by a buffer. When the buffer is empty, the channel will simply
  * passthrough its input as output. However, when the buffer is non-empty, the value inside
@@ -67,12 +66,12 @@ export declare function acquireReleaseOutExit_<R, R2, E, Z>(self: IO<R, E, Z>, r
  * @tsplus static fncts.io.ChannelOps buffer
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function buffer<InElem, InErr, InDone>(empty: InElem, isEmpty: Predicate<InElem>, ref: Ref<InElem>): Channel<unknown, InErr, InElem, InDone, InErr, InElem, InDone>;
+export declare function buffer<InElem, InErr, InDone>(empty: InElem, isEmpty: Predicate<InElem>, ref: Ref<InElem>): Channel<never, InErr, InElem, InDone, InErr, InElem, InDone>;
 /**
  * @tsplus static fncts.io.ChannelOps bufferChunk
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function bufferChunk<InElem, InErr, InDone>(ref: Ref<Conc<InElem>>): Channel<unknown, InErr, Conc<InElem>, InDone, InErr, Conc<InElem>, InDone>;
+export declare function bufferChunk<InElem, InErr, InDone>(ref: Ref<Conc<InElem>>): Channel<never, InErr, Conc<InElem>, InDone, InErr, Conc<InElem>, InDone>;
 /**
  * Returns a new channel that is the same as this one, except if this channel errors for any
  * typed error, then the returned channel will switch over to using the fallback channel returned
@@ -80,7 +79,7 @@ export declare function bufferChunk<InElem, InErr, InDone>(ref: Ref<Conc<InElem>
  * @tsplus fluent fncts.io.Channel catchAll
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function catchAll_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (error: OutErr) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1, OutElem | OutElem1, OutDone | OutDone1>;
+export declare function catchAll_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (error: OutErr) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1, OutElem | OutElem1, OutDone | OutDone1>;
 /**
  * Returns a new channel that is the same as this one, except if this channel errors for any
  * typed error, then the returned channel will switch over to using the fallback channel returned
@@ -88,7 +87,7 @@ export declare function catchAll_<Env, Env1, InErr, InErr1, InElem, InElem1, InD
  * @tsplus fluent fncts.io.Channel catchAllCause
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function catchAllCause_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (cause: Cause<OutErr>) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1, OutElem | OutElem1, OutDone | OutDone1>;
+export declare function catchAllCause_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (cause: Cause<OutErr>) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1, OutElem | OutElem1, OutDone | OutDone1>;
 /**
  * @tsplus getter fncts.io.Channel collectElements
  * @tsplus location "@fncts/io/Channel/api"
@@ -108,7 +107,7 @@ export declare function concatAll<Env, InErr, InElem, InDone, OutErr, OutElem>(c
  * @tsplus fluent fncts.io.Channel concatMapWith
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function concatMapWith_<Env, InErr, InElem, InDone, OutErr, OutElem, OutElem2, OutDone, OutDone2, OutDone3, Env2, InErr2, InElem2, InDone2, OutErr2>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>, f: (o: OutElem) => Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem2, OutDone>, g: (o: OutDone, o1: OutDone) => OutDone, h: (o: OutDone, o2: OutDone2) => OutDone3): Channel<Env & Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem2, OutDone3>;
+export declare function concatMapWith_<Env, InErr, InElem, InDone, OutErr, OutElem, OutElem2, OutDone, OutDone2, OutDone3, Env2, InErr2, InElem2, InDone2, OutErr2>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>, f: (o: OutElem) => Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem2, OutDone>, g: (o: OutDone, o1: OutDone) => OutDone, h: (o: OutDone, o2: OutDone2) => OutDone3): Channel<Env | Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem2, OutDone3>;
 /**
  * Returns a new channel whose outputs are fed to the specified factory function, which creates
  * new channels in response. These new channels are sequentially concatenated together, and all
@@ -118,13 +117,13 @@ export declare function concatMapWith_<Env, InErr, InElem, InDone, OutErr, OutEl
  * @tsplus fluent fncts.io.Channel concatMapWithCustom
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function concatMapWithCustom_<Env, InErr, InElem, InDone, OutErr, OutElem, OutElem2, OutDone, OutDone2, OutDone3, Env2, InErr2, InElem2, InDone2, OutErr2>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>, f: (o: OutElem) => Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem2, OutDone>, g: (o: OutDone, o1: OutDone) => OutDone, h: (o: OutDone, o2: OutDone2) => OutDone3, onPull: (_: UpstreamPullRequest<OutElem>) => UpstreamPullStrategy<OutElem2>, onEmit: (_: OutElem2) => ChildExecutorDecision): Channel<Env & Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem2, OutDone3>;
+export declare function concatMapWithCustom_<Env, InErr, InElem, InDone, OutErr, OutElem, OutElem2, OutDone, OutDone2, OutDone3, Env2, InErr2, InElem2, InDone2, OutErr2>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>, f: (o: OutElem) => Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem2, OutDone>, g: (o: OutDone, o1: OutDone) => OutDone, h: (o: OutDone, o2: OutDone2) => OutDone3, onPull: (_: UpstreamPullRequest<OutElem>) => UpstreamPullStrategy<OutElem2>, onEmit: (_: OutElem2) => ChildExecutorDecision): Channel<Env | Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem2, OutDone3>;
 /**
  * Concat sequentially a channel of channels
  * @tsplus fluent fncts.io.Channel concatAllWith
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function concatAllWith_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, OutDone2, OutDone3, Env2, InErr2, InElem2, InDone2, OutErr2>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem, OutDone>, OutDone2>, f: (o: OutDone, o1: OutDone) => OutDone, g: (o: OutDone, o2: OutDone2) => OutDone3): Channel<Env & Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem, OutDone3>;
+export declare function concatAllWith_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, OutDone2, OutDone3, Env2, InErr2, InElem2, InDone2, OutErr2>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem, OutDone>, OutDone2>, f: (o: OutDone, o1: OutDone) => OutDone, g: (o: OutDone, o2: OutDone2) => OutDone3): Channel<Env | Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem, OutDone3>;
 /**
  * Returns a new channel whose outputs are fed to the specified factory function, which creates
  * new channels in response. These new channels are sequentially concatenated together, and all
@@ -132,7 +131,7 @@ export declare function concatAllWith_<Env, InErr, InElem, InDone, OutErr, OutEl
  * @tsplus fluent fncts.io.Channel concatMap
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function concatMap_<Env, InErr, InElem, InDone, OutErr, OutElem, OutElem2, OutDone, OutDone2, Env2, InErr2, InElem2, InDone2, OutErr2>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>, f: (o: OutElem) => Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem2, OutDone>): Channel<Env & Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem2, unknown>;
+export declare function concatMap_<Env, InErr, InElem, InDone, OutErr, OutElem, OutElem2, OutDone, OutDone2, Env2, InErr2, InElem2, InDone2, OutErr2>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>, f: (o: OutElem) => Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem2, OutDone>): Channel<Env | Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem2, unknown>;
 /**
  * @tsplus fluent fncts.io.Channel contramap
  * @tsplus location "@fncts/io/Channel/api"
@@ -147,12 +146,12 @@ export declare function contramapIn_<Env, InErr, InElem0, InElem, InDone, OutErr
  * @tsplus fluent fncts.io.Channel contramapIO
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function contramapIO_<Env, Env1, InErr, InElem, InDone0, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (i: InDone0) => IO<Env1, InErr, InDone>): Channel<Env1 & Env, InErr, InElem, InDone0, OutErr, OutElem, OutDone>;
+export declare function contramapIO_<Env, Env1, InErr, InElem, InDone0, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (i: InDone0) => IO<Env1, InErr, InDone>): Channel<Env1 | Env, InErr, InElem, InDone0, OutErr, OutElem, OutDone>;
 /**
  * @tsplus fluent fncts.io.Channel contramapInIO
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function contramapInIO_<Env, Env1, InErr, InElem0, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (a: InElem0) => IO<Env1, InErr, InElem>): Channel<Env1 & Env, InErr, InElem0, InDone, OutErr, OutElem, OutDone>;
+export declare function contramapInIO_<Env, Env1, InErr, InElem0, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (a: InElem0) => IO<Env1, InErr, InElem>): Channel<Env1 | Env, InErr, InElem0, InDone, OutErr, OutElem, OutDone>;
 /**
  * @tsplus static fncts.io.ChannelOps defer
  * @tsplus location "@fncts/io/Channel/api"
@@ -187,14 +186,14 @@ export declare function emitCollect<Env, InErr, InElem, InDone, OutErr, OutElem,
  * @tsplus fluent fncts.io.Channel ensuring
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function ensuring_<Env, Env1, InErr, InElem, InDone, OutErr, OutElem, OutDone, Z>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, finalizer: URIO<Env1, Z>): Channel<Env & Env1, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
+export declare function ensuring_<Env, Env1, InErr, InElem, InDone, OutErr, OutElem, OutDone, Z>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, finalizer: URIO<Env1, Z>): Channel<Env | Env1, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
 /**
  * Returns a new channel with an attached finalizer. The finalizer is guaranteed to be executed
  * so long as the channel begins execution (and regardless of whether or not it completes).
  * @tsplus fluent fncts.io.Channel ensuringWith
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function ensuringWith_<Env, Env2, InErr, InElem, InDone, OutErr, OutElem, OutDone>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, finalizer: (e: Exit<OutErr, OutDone>) => IO<Env2, never, unknown>): Channel<Env & Env2, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
+export declare function ensuringWith_<Env, Env2, InErr, InElem, InDone, OutErr, OutElem, OutDone>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, finalizer: (e: Exit<OutErr, OutDone>) => IO<Env2, never, unknown>): Channel<Env | Env2, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
 /**
  * Embed inputs from continuos pulling of a producer
  * @tsplus fluent fncts.io.Channel embedInput
@@ -206,30 +205,30 @@ export declare function embedInput_<Env, InErr, InElem, InDone, OutErr, OutElem,
  * @tsplus static fncts.io.ChannelOps fail
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function fail<E>(error: Lazy<E>): Channel<unknown, unknown, unknown, unknown, E, never, never>;
+export declare function fail<E>(error: Lazy<E>): Channel<never, unknown, unknown, unknown, E, never, never>;
 /**
  * Halt a channel with the specified error
  * @tsplus static fncts.io.ChannelOps failNow
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function failNow<E>(error: E): Channel<unknown, unknown, unknown, unknown, E, never, never>;
+export declare function failNow<E>(error: E): Channel<never, unknown, unknown, unknown, E, never, never>;
 /**
  * Returns a new channel, which flattens the terminal value of this channel. This function may
  * only be called if the terminal value of this channel is another channel of compatible types.
  * @tsplus getter fncts.io.Channel flatten
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function flatten<Env, InErr, InElem, InDone, OutErr, OutElem, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone2>;
+export declare function flatten<Env, InErr, InElem, InDone, OutErr, OutElem, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone2>;
 /**
  * @tsplus static fncts.io.ChannelOps fromEither
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function fromEither<E, A>(either: Lazy<Either<E, A>>): Channel<unknown, unknown, unknown, unknown, E, never, A>;
+export declare function fromEither<E, A>(either: Lazy<Either<E, A>>): Channel<never, unknown, unknown, unknown, E, never, A>;
 /**
  * @tsplus static fncts.io.ChannelOps fromInput
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function fromInput<Err, Elem, Done>(input: AsyncInputConsumer<Err, Elem, Done>): Channel<unknown, unknown, unknown, unknown, Err, Elem, Done>;
+export declare function fromInput<Err, Elem, Done>(input: AsyncInputConsumer<Err, Elem, Done>): Channel<never, unknown, unknown, unknown, Err, Elem, Done>;
 /**
  * Use an effect to end a channel
  * @tsplus static fncts.io.ChannelOps fromIO
@@ -240,19 +239,19 @@ export declare function fromIO<R, E, A>(io: Lazy<IO<R, E, A>>): Channel<R, unkno
  * @tsplus static fncts.io.ChannelOps fromOption
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function fromOption<A>(option: Lazy<Maybe<A>>): Channel<unknown, unknown, unknown, unknown, Nothing, never, A>;
+export declare function fromOption<A>(option: Lazy<Maybe<A>>): Channel<never, unknown, unknown, unknown, Nothing, never, A>;
 /**
  * @tsplus static fncts.io.ChannelOps fromQueue
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function fromQueue<Err, Elem, Done>(queue: Queue.Dequeue<Either<Exit<Err, Done>, Elem>>): Channel<unknown, unknown, unknown, unknown, Err, Elem, Done>;
+export declare function fromQueue<Err, Elem, Done>(queue: Queue.Dequeue<Either<Exit<Err, Done>, Elem>>): Channel<never, unknown, unknown, unknown, Err, Elem, Done>;
 /**
  * Provides the channel with its required environment, which eliminates
  * its dependency on `Env`.
  * @tsplus fluent fncts.io.Channel provideEnvironment
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function provideEnvironment_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, env: Lazy<Environment<Env>>): Channel<unknown, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
+export declare function provideEnvironment_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, env: Lazy<Environment<Env>>): Channel<never, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
 /**
  * @tsplus fluent fncts.io.Channel contramapEnvironment
  * @tsplus location "@fncts/io/Channel/api"
@@ -263,29 +262,29 @@ export declare function contramapEnvironment_<Env, InErr, InElem, InDone, OutErr
  * @tsplus static fncts.io.ChannelOps haltNow
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function haltNow(defect: unknown): Channel<unknown, unknown, unknown, unknown, never, never, never>;
+export declare function haltNow(defect: unknown): Channel<never, unknown, unknown, unknown, never, never, never>;
 /**
  * Halt a channel with the specified exception
  * @tsplus static fncts.io.ChannelOps halt
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function halt(defect: Lazy<unknown>): Channel<unknown, unknown, unknown, unknown, never, never, never>;
+export declare function halt(defect: Lazy<unknown>): Channel<never, unknown, unknown, unknown, never, never, never>;
 /**
  * @tsplus static fncts.io.ChannelOps id
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function id<Err, Elem, Done>(): Channel<unknown, Err, Elem, Done, Err, Elem, Done>;
+export declare function id<Err, Elem, Done>(): Channel<never, Err, Elem, Done, Err, Elem, Done>;
 /**
  * @tsplus static fncts.io.ChannelOps interrupt
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function interrupt(fiberId: FiberId): Channel<unknown, unknown, unknown, unknown, never, never, never>;
+export declare function interrupt(fiberId: FiberId): Channel<never, unknown, unknown, unknown, never, never, never>;
 /**
  * Use a managed to emit an output element
  * @tsplus static fncts.io.ChannelOps scoped
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function scoped<R, E, A>(io: Lazy<IO<R & Has<Scope>, E, A>>): Channel<R, unknown, unknown, unknown, E, A, unknown>;
+export declare function scoped<R, E, A>(io: Lazy<IO<R, E, A>>): Channel<Exclude<R, Scope>, unknown, unknown, unknown, E, A, unknown>;
 /**
  * Returns a new channel, which is the same as this one, except the failure value of the returned
  * channel is created by applying the specified function to the failure value of this channel.
@@ -306,7 +305,7 @@ export declare function mapErrorCause_<Env, InErr, InElem, InDone, OutErr, OutEr
  * @tsplus fluent fncts.io.Channel mapIO
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function mapIO_<Env, Env1, InErr, InElem, InDone, OutErr, OutErr1, OutElem, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (o: OutDone) => IO<Env1, OutErr1, OutDone1>): Channel<Env & Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem, OutDone1>;
+export declare function mapIO_<Env, Env1, InErr, InElem, InDone, OutErr, OutErr1, OutElem, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (o: OutDone) => IO<Env1, OutErr1, OutDone1>): Channel<Env | Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem, OutDone1>;
 /**
  * Maps the output of this channel using f
  * @tsplus fluent fncts.io.Channel mapOut
@@ -317,27 +316,27 @@ export declare function mapOut_<Env, InErr, InElem, InDone, OutErr, OutElem, Out
  * @tsplus fluent fncts.io.Channel mapOutIO
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function mapOutIO_<Env, Env1, InErr, InElem, InDone, OutErr, OutErr1, OutElem, OutElem1, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (o: OutElem) => IO<Env1, OutErr1, OutElem1>): Channel<Env & Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem1, OutDone>;
+export declare function mapOutIO_<Env, Env1, InErr, InElem, InDone, OutErr, OutErr1, OutElem, OutElem1, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (o: OutElem) => IO<Env1, OutErr1, OutElem1>): Channel<Env | Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem1, OutDone>;
 /**
  * Fold the channel exposing success and full error cause
  * @tsplus fluent fncts.io.Channel matchCauseChannel
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function matchCauseChannel_<Env, Env1, Env2, InErr, InErr1, InErr2, InElem, InElem1, InElem2, InDone, InDone1, InDone2, OutErr, OutErr2, OutErr3, OutElem, OutElem1, OutElem2, OutDone, OutDone2, OutDone3>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, onError: (c: Cause<OutErr>) => Channel<Env1, InErr1, InElem1, InDone1, OutErr2, OutElem1, OutDone2>, onSuccess: (o: OutDone) => Channel<Env2, InErr2, InElem2, InDone2, OutErr3, OutElem2, OutDone3>): Channel<Env & Env1 & Env2, InErr & InErr1 & InErr2, InElem & InElem1 & InElem2, InDone & InDone1 & InDone2, OutErr2 | OutErr3, OutElem | OutElem1 | OutElem2, OutDone2 | OutDone3>;
+export declare function matchCauseChannel_<Env, Env1, Env2, InErr, InErr1, InErr2, InElem, InElem1, InElem2, InDone, InDone1, InDone2, OutErr, OutErr2, OutErr3, OutElem, OutElem1, OutElem2, OutDone, OutDone2, OutDone3>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, onError: (c: Cause<OutErr>) => Channel<Env1, InErr1, InElem1, InDone1, OutErr2, OutElem1, OutDone2>, onSuccess: (o: OutDone) => Channel<Env2, InErr2, InElem2, InDone2, OutErr3, OutElem2, OutDone3>): Channel<Env | Env1 | Env2, InErr & InErr1 & InErr2, InElem & InElem1 & InElem2, InDone & InDone1 & InDone2, OutErr2 | OutErr3, OutElem | OutElem1 | OutElem2, OutDone2 | OutDone3>;
 /**
  * Fold the channel exposing success and full error cause
  * @tsplus fluent fncts.io.Channel matchChannel
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function matchChannel_<Env, Env1, Env2, InErr, InErr1, InErr2, InElem, InElem1, InElem2, InDone, InDone1, InDone2, OutErr, OutErr2, OutErr3, OutElem, OutElem1, OutElem2, OutDone, OutDone2, OutDone3>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, onError: (e: OutErr) => Channel<Env1, InErr1, InElem1, InDone1, OutErr2, OutElem1, OutDone2>, onSuccess: (o: OutDone) => Channel<Env2, InErr2, InElem2, InDone2, OutErr3, OutElem2, OutDone3>): Channel<Env & Env1 & Env2, InErr & InErr1 & InErr2, InElem & InElem1 & InElem2, InDone & InDone1 & InDone2, OutErr2 | OutErr3, OutElem | OutElem1 | OutElem2, OutDone2 | OutDone3>;
-export declare const never: Channel<unknown, unknown, unknown, unknown, never, never, never>;
+export declare function matchChannel_<Env, Env1, Env2, InErr, InErr1, InErr2, InElem, InElem1, InElem2, InDone, InDone1, InDone2, OutErr, OutErr2, OutErr3, OutElem, OutElem1, OutElem2, OutDone, OutDone2, OutDone3>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, onError: (e: OutErr) => Channel<Env1, InErr1, InElem1, InDone1, OutErr2, OutElem1, OutDone2>, onSuccess: (o: OutDone) => Channel<Env2, InErr2, InElem2, InDone2, OutErr3, OutElem2, OutDone3>): Channel<Env | Env1 | Env2, InErr & InErr1 & InErr2, InElem & InElem1 & InElem2, InDone & InDone1 & InDone2, OutErr2 | OutErr3, OutElem | OutElem1 | OutElem2, OutDone2 | OutDone3>;
+export declare const never: Channel<never, unknown, unknown, unknown, never, never, never>;
 /**
  * Returns a new channel that will perform the operations of this one, until failure, and then
  * it will switch over to the operations of the specified fallback channel.
  * @tsplus fluent fncts.io.Channel orElse
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function orElse_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1, OutElem | OutElem1, OutDone | OutDone1>;
+export declare function orElse_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1, OutElem | OutElem1, OutDone | OutDone1>;
 /**
  * @tsplus fluent fncts.io.Channel orHalt
  * @tsplus location "@fncts/io/Channel/api"
@@ -354,34 +353,34 @@ export declare function orHaltWith_<Env, InErr, InElem, InDone, OutErr, OutElem,
  * @tsplus operator fncts.io.Channel >>>
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function pipeTo_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, OutErr1, OutElem1, OutDone1>(left: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, right: Channel<Env1, OutErr, OutElem, OutDone, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>;
+export declare function pipeTo_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, OutErr1, OutElem1, OutDone1>(left: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, right: Channel<Env1, OutErr, OutElem, OutDone, OutErr1, OutElem1, OutDone1>): Channel<Env | Env1, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>;
 /**
  * @tsplus fluent fncts.io.Channel pipeToOrFail
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function pipeToOrFail_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, OutErr1, OutElem1, OutDone1>(left: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, right: Channel<Env1, never, OutElem, OutDone, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem1, OutDone1>;
+export declare function pipeToOrFail_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, OutErr1, OutElem1, OutDone1>(left: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, right: Channel<Env1, never, OutElem, OutDone, OutErr1, OutElem1, OutDone1>): Channel<Env | Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem1, OutDone1>;
 /**
  * @tsplus static fncts.io.ChannelOps read
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function read<In>(): Channel<unknown, unknown, In, unknown, Nothing, never, In>;
+export declare function read<In>(): Channel<never, unknown, In, unknown, Nothing, never, In>;
 /**
  * @tsplus static fncts.io.ChannelOps readOrFail
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function readOrFail<In, E>(e: E): Channel<unknown, unknown, In, unknown, E, never, In>;
+export declare function readOrFail<In, E>(e: E): Channel<never, unknown, In, unknown, E, never, In>;
 /**
  * Reads an input and continue exposing both full error cause and completion
  * @tsplus static fncts.io.ChannelOps readWithCause
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function readWithCause<Env, Env1, Env2, InErr, InElem, InDone, OutErr, OutErr1, OutErr2, OutElem, OutElem1, OutElem2, OutDone, OutDone1, OutDone2>(inp: (i: InElem) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, halt: (e: Cause<InErr>) => Channel<Env1, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>, done: (d: InDone) => Channel<Env2, InErr, InElem, InDone, OutErr2, OutElem2, OutDone2>): Channel<Env & Env1 & Env2, InErr, InElem, InDone, OutErr | OutErr1 | OutErr2, OutElem | OutElem1 | OutElem2, OutDone | OutDone1 | OutDone2>;
+export declare function readWithCause<Env, Env1, Env2, InErr, InElem, InDone, OutErr, OutErr1, OutErr2, OutElem, OutElem1, OutElem2, OutDone, OutDone1, OutDone2>(inp: (i: InElem) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, halt: (e: Cause<InErr>) => Channel<Env1, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>, done: (d: InDone) => Channel<Env2, InErr, InElem, InDone, OutErr2, OutElem2, OutDone2>): Channel<Env | Env1 | Env2, InErr, InElem, InDone, OutErr | OutErr1 | OutErr2, OutElem | OutElem1 | OutElem2, OutDone | OutDone1 | OutDone2>;
 /**
  * Reads an input and continue exposing both error and completion
  * @tsplus static fncts.io.ChannelOps readWith
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function readWith<Env, Env1, Env2, InErr, InElem, InDone, OutErr, OutErr1, OutErr2, OutElem, OutElem1, OutElem2, OutDone, OutDone1, OutDone2>(inp: (i: InElem) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, error: (e: InErr) => Channel<Env1, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>, done: (d: InDone) => Channel<Env2, InErr, InElem, InDone, OutErr2, OutElem2, OutDone2>): Channel<Env & Env1 & Env2, InErr, InElem, InDone, OutErr | OutErr1 | OutErr2, OutElem | OutElem1 | OutElem2, OutDone | OutDone1 | OutDone2>;
+export declare function readWith<Env, Env1, Env2, InErr, InElem, InDone, OutErr, OutErr1, OutErr2, OutElem, OutElem1, OutElem2, OutDone, OutDone1, OutDone2>(inp: (i: InElem) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, error: (e: InErr) => Channel<Env1, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>, done: (d: InDone) => Channel<Env2, InErr, InElem, InDone, OutErr2, OutElem2, OutDone2>): Channel<Env | Env1 | Env2, InErr, InElem, InDone, OutErr | OutErr1 | OutErr2, OutElem | OutElem1 | OutElem2, OutDone | OutDone1 | OutDone2>;
 /**
  * Repeats this channel forever
  * @tsplus getter fncts.io.Channel repeated
@@ -392,53 +391,53 @@ export declare function repeated<Env, InErr, InElem, InDone, OutErr, OutElem, Ou
  * @tsplus static fncts.io.ChannelOps toQueue
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function toQueue<Err, Done, Elem>(queue: Lazy<Queue.Enqueue<Either<Exit<Err, Done>, Elem>>>): Channel<unknown, Err, Elem, Done, never, never, unknown>;
+export declare function toQueue<Err, Done, Elem>(queue: Lazy<Queue.Enqueue<Either<Exit<Err, Done>, Elem>>>): Channel<never, Err, Elem, Done, never, never, unknown>;
 /**
  * Writes an output to the channel
  * @tsplus static fncts.io.ChannelOps write
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function write<OutElem>(out: Lazy<OutElem>): Channel<unknown, unknown, unknown, unknown, never, OutElem, void>;
+export declare function write<OutElem>(out: Lazy<OutElem>): Channel<never, unknown, unknown, unknown, never, OutElem, void>;
 /**
  * @tsplus static fncts.io.ChannelOps writeAll
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function writeAll<Out>(outs: ReadonlyArray<Out>): Channel<unknown, unknown, unknown, unknown, never, Out, void>;
+export declare function writeAll<Out>(outs: ReadonlyArray<Out>): Channel<never, unknown, unknown, unknown, never, Out, void>;
 /**
  * @tsplus static fncts.io.ChannelOps writeChunk
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function writeChunk<Out>(outs: Conc<Out>): Channel<unknown, unknown, unknown, unknown, never, Out, void>;
+export declare function writeChunk<Out>(outs: Conc<Out>): Channel<never, unknown, unknown, unknown, never, Out, void>;
 /**
  * Writes an output to the channel
  * @tsplus static fncts.io.ChannelOps writeNow
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function writeNow<OutElem>(out: OutElem): Channel<unknown, unknown, unknown, unknown, never, OutElem, void>;
+export declare function writeNow<OutElem>(out: OutElem): Channel<never, unknown, unknown, unknown, never, OutElem, void>;
 /**
  * @tsplus static fncts.io.ChannelOps unit
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare const unit: Channel<unknown, unknown, unknown, unknown, never, never, void>;
+export declare const unit: Channel<never, unknown, unknown, unknown, never, never, void>;
 /**
  * Makes a channel from an effect that returns a channel in case of success
  * @tsplus static fncts.io.ChannelOps unwrap
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function unwrap<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Lazy<IO<R, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>>): Channel<R & Env, InErr, InElem, InDone, E | OutErr, OutElem, OutDone>;
+export declare function unwrap<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Lazy<IO<R, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>>): Channel<R | Env, InErr, InElem, InDone, E | OutErr, OutElem, OutDone>;
 /**
  * Makes a channel from a managed that returns a channel in case of success
  * @tsplus static fncts.io.ChannelOps unwrapScoped
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function unwrapScoped<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Lazy<IO<R & Has<Scope>, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>>): Channel<R & Env, InErr, InElem, InDone, E | OutErr, OutElem, OutDone>;
+export declare function unwrapScoped<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Lazy<IO<R, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>>): Channel<Exclude<R, Scope> | Env, InErr, InElem, InDone, E | OutErr, OutElem, OutDone>;
 /**
  * @tsplus static fncts.io.ChannelOps fromHubScoped
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function fromHubScoped<Err, Done, Elem>(hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>): IO<Has<Scope>, never, Channel<unknown, unknown, unknown, unknown, Err, Elem, Done>>;
+export declare function fromHubScoped<Err, Done, Elem>(hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>): IO<Scope, never, Channel<never, unknown, unknown, unknown, Err, Elem, Done>>;
 /**
  * @tsplus static fncts.io.ChannelOps toHub
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function toHub<Err, Done, Elem>(hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>): Channel<unknown, Err, Elem, Done, never, never, unknown>;
+export declare function toHub<Err, Done, Elem>(hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>): Channel<never, Err, Elem, Done, never, never, unknown>;

package/Channel/core-api.d.ts

@@ -6,37 +6,37 @@ import { Channel } from "@fncts/io/Channel";
  * @tsplus static fncts.io.ChannelOps failCause
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function failCause<E>(result: Lazy<Cause<E>>): Channel<unknown, unknown, unknown, unknown, E, never, never>;
+export declare function failCause<E>(result: Lazy<Cause<E>>): Channel<never, unknown, unknown, unknown, E, never, never>;
 /**
  * Halt a channel with the specified cause
  * @tsplus static fncts.io.ChannelOps failCauseNow
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function failCauseNow<E>(result: Cause<E>): Channel<unknown, unknown, unknown, unknown, E, never, never>;
+export declare function failCauseNow<E>(result: Cause<E>): Channel<never, unknown, unknown, unknown, E, never, never>;
 /**
  * End a channel with the specified result
  * @tsplus static fncts.io.ChannelOps end
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function end<OutDone>(result: Lazy<OutDone>): Channel<unknown, unknown, unknown, unknown, never, never, OutDone>;
+export declare function end<OutDone>(result: Lazy<OutDone>): Channel<never, unknown, unknown, unknown, never, never, OutDone>;
 /**
  * End a channel with the specified result
  * @tsplus static fncts.io.ChannelOps endNow
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function endNow<OutDone>(result: OutDone): Channel<unknown, unknown, unknown, unknown, never, never, OutDone>;
+export declare function endNow<OutDone>(result: OutDone): Channel<never, unknown, unknown, unknown, never, never, OutDone>;
 /**
  * End a channel with the specified result
  * @tsplus static fncts.io.ChannelOps succeed
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function succeed<Z>(z: Lazy<Z>): Channel<unknown, unknown, unknown, unknown, never, never, Z>;
+export declare function succeed<Z>(z: Lazy<Z>): Channel<never, unknown, unknown, unknown, never, never, Z>;
 /**
  * End a channel with the specified result
  * @tsplus static fncts.io.ChannelOps succeedNow
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function succeedNow<Z>(z: Z): Channel<unknown, unknown, unknown, unknown, never, never, Z>;
+export declare function succeedNow<Z>(z: Z): Channel<never, unknown, unknown, unknown, never, never, Z>;
 /**
  * Returns a new channel, which is the same as this one, except the terminal value of the
  * returned channel is created by applying the specified function to the terminal value of this
@@ -53,21 +53,21 @@ export declare function map_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDon
  * @tsplus fluent fncts.io.Channel flatMap
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function flatMap_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (d: OutDone) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone2>;
+export declare function flatMap_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (d: OutDone) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone2>;
 /**
  * Returns a new channel that is the sequential composition of this channel and the specified
  * channel. The returned channel terminates with a tuple of the terminal values of both channels.
  * @tsplus fluent fncts.io.Channel cross
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function cross_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, readonly [OutDone, OutDone1]>;
+export declare function cross_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, readonly [OutDone, OutDone1]>;
 /**
  * Returns a new channel that is the sequential composition of this channel and the specified
  * channel. The returned channel terminates with the terminal value of this channel.
  * @tsplus fluent fncts.io.Channel apFirst
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function apFirst_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone>;
+export declare function apFirst_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone>;
 /**
  * Returns a new channel that is the sequential composition of this channel and the specified
  * channel. The returned channel terminates with the terminal value of the other channel.
@@ -75,4 +75,4 @@ export declare function apFirst_<Env, Env1, InErr, InErr1, InElem, InElem1, InDo
  * @tsplus operator fncts.io.Channel >
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function apSecond_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1 | OutElem, OutDone1>;
+export declare function apSecond_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1 | OutElem, OutDone1>;