PR 1584

Author: gcanti

docs/modules/Chain.ts.md

@@ -173,43 +173,43 @@ export declare function bind<M extends URIS4>(
   M: Chain4<M>
 ): <N extends string, A, S, R, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind4<M, S, R, E, B>
+  f: <A2 extends A>(a: A | A2) => Kind4<M, S, R, E, B>
 ) => (ma: Kind4<M, S, R, E, A>) => Kind4<M, S, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bind<M extends URIS3>(
   M: Chain3<M>
 ): <N extends string, A, R, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind3<M, R, E, B>
+  f: <A2 extends A>(a: A | A2) => Kind3<M, R, E, B>
 ) => (ma: Kind3<M, R, E, A>) => Kind3<M, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bind<M extends URIS3, E>(
   M: Chain3C<M, E>
 ): <N extends string, A, R, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind3<M, R, E, B>
+  f: <A2 extends A>(a: A | A2) => Kind3<M, R, E, B>
 ) => (ma: Kind3<M, R, E, A>) => Kind3<M, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bind<M extends URIS2>(
   M: Chain2<M>
 ): <N extends string, A, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind2<M, E, B>
+  f: <A2 extends A>(a: A | A2) => Kind2<M, E, B>
 ) => (ma: Kind2<M, E, A>) => Kind2<M, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bind<M extends URIS2, E>(
   M: Chain2C<M, E>
 ): <N extends string, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind2<M, E, B>
+  f: <A2 extends A>(a: A | A2) => Kind2<M, E, B>
 ) => (ma: Kind2<M, E, A>) => Kind2<M, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bind<M extends URIS>(
   M: Chain1<M>
 ): <N extends string, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind<M, B>
+  f: <A2 extends A>(a: A | A2) => Kind<M, B>
 ) => (ma: Kind<M, A>) => Kind<M, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bind<M>(
   M: Chain<M>
 ): <N extends string, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => HKT<M, B>
+  f: <A2 extends A>(a: A | A2) => HKT<M, B>
 ) => (ma: HKT<M, A>) => HKT<M, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/Either.ts.md

@@ -1406,7 +1406,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Either<E, B>
+  f: <A2>(a: A | A2) => Either<E, B>
 ) => (ma: Either<E, A>) => Either<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 
@@ -1431,7 +1431,7 @@ Less strict version of [`bind`](#bind).
 ```ts
 export declare const bindW: <N extends string, A, E2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Either<E2, B>
+  f: <A2 extends A>(a: A | A2) => Either<E2, B>
 ) => <E1>(fa: Either<E1, A>) => Either<E2 | E1, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/IO.ts.md

@@ -362,7 +362,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => IO<B>
+  f: <A2>(a: A | A2) => IO<B>
 ) => (ma: IO<A>) => IO<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/IOEither.ts.md

@@ -1107,7 +1107,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => IOEither<E, B>
+  f: <A2>(a: A | A2) => IOEither<E, B>
 ) => (ma: IOEither<E, A>) => IOEither<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 
@@ -1132,7 +1132,7 @@ Less strict version of [`bind`](#bind).
 ```ts
 export declare const bindW: <N extends string, A, E2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => IOEither<E2, B>
+  f: <A2 extends A>(a: A | A2) => IOEither<E2, B>
 ) => <E1>(fa: IOEither<E1, A>) => IOEither<E2 | E1, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/IOOption.ts.md

@@ -863,7 +863,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => IOOption<B>
+  f: <A2>(a: A | A2) => IOOption<B>
 ) => (ma: IOOption<A>) => IOOption<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/Identity.ts.md

@@ -509,7 +509,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => B
+  f: <A2>(a: A | A2) => B
 ) => (ma: A) => { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }
 ```
 

docs/modules/Option.ts.md

@@ -1357,7 +1357,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Option<B>
+  f: <A2>(a: A | A2) => Option<B>
 ) => (ma: Option<A>) => Option<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/Reader.ts.md

@@ -642,7 +642,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Reader<E, B>
+  f: <A2>(a: A | A2) => Reader<E, B>
 ) => (ma: Reader<E, A>) => Reader<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 
@@ -667,7 +667,7 @@ Less strict version of [`bind`](#bind).
 ```ts
 export declare const bindW: <N extends string, A, R2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Reader<R2, B>
+  f: <A2 extends A>(a: A | A2) => Reader<R2, B>
 ) => <R1>(fa: Reader<R1, A>) => Reader<R1 & R2, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/ReaderEither.ts.md

@@ -1180,7 +1180,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, R, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => ReaderEither<R, E, B>
+  f: <A2>(a: A | A2) => ReaderEither<R, E, B>
 ) => (ma: ReaderEither<R, E, A>) => ReaderEither<R, E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 
@@ -1207,7 +1207,7 @@ Less strict version of [`bind`](#bind).
 ```ts
 export declare const bindW: <N extends string, A, R2, E2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => ReaderEither<R2, E2, B>
+  f: <A2 extends A>(a: A | A2) => ReaderEither<R2, E2, B>
 ) => <R1, E1>(
   fa: ReaderEither<R1, E1, A>
 ) => ReaderEither<R1 & R2, E2 | E1, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>

docs/modules/ReaderIO.ts.md

@@ -615,7 +615,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => ReaderIO<E, B>
+  f: <A2>(a: A | A2) => ReaderIO<E, B>
 ) => (ma: ReaderIO<E, A>) => ReaderIO<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 
@@ -640,7 +640,7 @@ The `W` suffix (short for **W**idening) means that the environment types will be
 ```ts
 export declare const bindW: <N extends string, A, R2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => ReaderIO<R2, B>
+  f: <A2 extends A>(a: A | A2) => ReaderIO<R2, B>
 ) => <R1>(fa: ReaderIO<R1, A>) => ReaderIO<R1 & R2, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/ReaderTask.ts.md

@@ -701,7 +701,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => ReaderTask<E, B>
+  f: <A2>(a: A | A2) => ReaderTask<E, B>
 ) => (ma: ReaderTask<E, A>) => ReaderTask<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 
@@ -726,7 +726,7 @@ Less strict version of [`bind`](#bind).
 ```ts
 export declare const bindW: <N extends string, A, R2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => ReaderTask<R2, B>
+  f: <A2 extends A>(a: A | A2) => ReaderTask<R2, B>
 ) => <R1>(fa: ReaderTask<R1, A>) => ReaderTask<R1 & R2, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/ReaderTaskEither.ts.md

@@ -1732,7 +1732,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, R, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => ReaderTaskEither<R, E, B>
+  f: <A2>(a: A | A2) => ReaderTaskEither<R, E, B>
 ) => (
   ma: ReaderTaskEither<R, E, A>
 ) => ReaderTaskEither<R, E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
@@ -1761,7 +1761,7 @@ Less strict version of [`bind`](#bind).
 ```ts
 export declare const bindW: <N extends string, A, R2, E2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => ReaderTaskEither<R2, E2, B>
+  f: <A2 extends A>(a: A | A2) => ReaderTaskEither<R2, E2, B>
 ) => <R1, E1>(
   fa: ReaderTaskEither<R1, E1, A>
 ) => ReaderTaskEither<R1 & R2, E2 | E1, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>

docs/modules/ReadonlyArray.ts.md

@@ -2116,7 +2116,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => readonly B[]
+  f: <A2>(a: A | A2) => readonly B[]
 ) => (ma: readonly A[]) => readonly { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }[]
 ```
 

docs/modules/ReadonlyNonEmptyArray.ts.md

@@ -1331,7 +1331,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => ReadonlyNonEmptyArray<B>
+  f: <A2>(a: A | A2) => ReadonlyNonEmptyArray<B>
 ) => (
   ma: ReadonlyNonEmptyArray<A>
 ) => ReadonlyNonEmptyArray<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>

docs/modules/State.ts.md

@@ -360,7 +360,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => State<E, B>
+  f: <A2>(a: A | A2) => State<E, B>
 ) => (ma: State<E, A>) => State<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/StateReaderTaskEither.ts.md

@@ -1387,7 +1387,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, S, R, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => StateReaderTaskEither<S, R, E, B>
+  f: <A2>(a: A | A2) => StateReaderTaskEither<S, R, E, B>
 ) => (
   ma: StateReaderTaskEither<S, R, E, A>
 ) => StateReaderTaskEither<S, R, E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
@@ -1416,7 +1416,7 @@ Less strict version of [`bind`](#bind).
 ```ts
 export declare const bindW: <N extends string, A, S, R2, E2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => StateReaderTaskEither<S, R2, E2, B>
+  f: <A2 extends A>(a: A | A2) => StateReaderTaskEither<S, R2, E2, B>
 ) => <R1, E1>(
   fa: StateReaderTaskEither<S, R1, E1, A>
 ) => StateReaderTaskEither<S, R1 & R2, E2 | E1, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>

docs/modules/Task.ts.md

@@ -486,7 +486,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Task<B>
+  f: <A2>(a: A | A2) => Task<B>
 ) => (ma: Task<A>) => Task<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/TaskEither.ts.md

@@ -1429,7 +1429,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => TaskEither<E, B>
+  f: <A2>(a: A | A2) => TaskEither<E, B>
 ) => (ma: TaskEither<E, A>) => TaskEither<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 
@@ -1454,7 +1454,7 @@ Less strict version of [`bind`](#bind).
 ```ts
 export declare const bindW: <N extends string, A, E2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => TaskEither<E2, B>
+  f: <A2 extends A>(a: A | A2) => TaskEither<E2, B>
 ) => <E1>(fa: TaskEither<E1, A>) => TaskEither<E2 | E1, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/TaskOption.ts.md

@@ -970,7 +970,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => TaskOption<B>
+  f: <A2>(a: A | A2) => TaskOption<B>
 ) => (ma: TaskOption<A>) => TaskOption<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

docs/modules/Tree.ts.md

@@ -639,7 +639,7 @@ Added in v3.0.0
 ```ts
 export declare const bind: <N, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Tree<B>
+  f: <A2>(a: A | A2) => Tree<B>
 ) => (ma: Tree<A>) => Tree<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```
 

src/Chain.ts

@@ -131,49 +131,49 @@ export function bind<M extends URIS4>(
   M: Chain4<M>
 ): <N extends string, A, S, R, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind4<M, S, R, E, B>
+  f: <A2 extends A>(a: A | A2) => Kind4<M, S, R, E, B>
 ) => (ma: Kind4<M, S, R, E, A>) => Kind4<M, S, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bind<M extends URIS3>(
   M: Chain3<M>
 ): <N extends string, A, R, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind3<M, R, E, B>
+  f: <A2 extends A>(a: A | A2) => Kind3<M, R, E, B>
 ) => (ma: Kind3<M, R, E, A>) => Kind3<M, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bind<M extends URIS3, E>(
   M: Chain3C<M, E>
 ): <N extends string, A, R, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind3<M, R, E, B>
+  f: <A2 extends A>(a: A | A2) => Kind3<M, R, E, B>
 ) => (ma: Kind3<M, R, E, A>) => Kind3<M, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bind<M extends URIS2>(
   M: Chain2<M>
 ): <N extends string, A, E, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind2<M, E, B>
+  f: <A2 extends A>(a: A | A2) => Kind2<M, E, B>
 ) => (ma: Kind2<M, E, A>) => Kind2<M, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bind<M extends URIS2, E>(
   M: Chain2C<M, E>
 ): <N extends string, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind2<M, E, B>
+  f: <A2 extends A>(a: A | A2) => Kind2<M, E, B>
 ) => (ma: Kind2<M, E, A>) => Kind2<M, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bind<M extends URIS>(
   M: Chain1<M>
 ): <N extends string, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Kind<M, B>
+  f: <A2 extends A>(a: A | A2) => Kind<M, B>
 ) => (ma: Kind<M, A>) => Kind<M, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bind<M>(
   M: Chain<M>
 ): <N extends string, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => HKT<M, B>
+  f: <A2 extends A>(a: A | A2) => HKT<M, B>
 ) => (ma: HKT<M, A>) => HKT<M, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bind<M>(
   M: Chain<M>
 ): <N extends string, A, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => HKT<M, B>
+  f: <A2 extends A>(a: A | A2) => HKT<M, B>
 ) => (ma: HKT<M, A>) => HKT<M, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }> {
   return (name, f) =>
     M.chain((a) =>

src/Either.ts

@@ -1174,7 +1174,7 @@ export const bind =
  */
 export const bindW: <N extends string, A, E2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Either<E2, B>
+  f: <A2 extends A>(a: A | A2) => Either<E2, B>
 ) => <E1>(
   fa: Either<E1, A>
 ) => Either<E1 | E2, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }> = bind as any

src/IOEither.ts

@@ -838,7 +838,7 @@ export const bind =
  */
 export const bindW: <N extends string, A, E2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => IOEither<E2, B>
+  f: <A2 extends A>(a: A | A2) => IOEither<E2, B>
 ) => <E1>(
   fa: IOEither<E1, A>
 ) => IOEither<E1 | E2, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }> = bind as any

src/Reader.ts

@@ -411,7 +411,7 @@ export const bind =
  */
 export const bindW: <N extends string, A, R2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => Reader<R2, B>
+  f: <A2 extends A>(a: A | A2) => Reader<R2, B>
 ) => <R1>(
   fa: Reader<R1, A>
 ) => Reader<R1 & R2, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }> = bind as any

src/ReaderEither.ts

@@ -843,7 +843,7 @@ export const bind =
  */
 export const bindW: <N extends string, A, R2, E2, B>(
   name: Exclude<N, keyof A>,
-  f: (a: A) => ReaderEither<R2, E2, B>
+  f: <A2 extends A>(a: A | A2) => ReaderEither<R2, E2, B>
 ) => <R1, E1>(
   fa: ReaderEither<R1, E1, A>
 ) => ReaderEither<R1 & R2, E1 | E2, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }> = bind as any