forbid shadowing keys in do context

docs/modules/Array.ts.md

@@ -3257,7 +3257,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: A[]) => { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }[]
 ```

docs/modules/Either.ts.md

@@ -1526,7 +1526,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <E>(fa: Either<E, A>) => Either<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/Functor.ts.md

@@ -227,45 +227,45 @@ Added in v2.0.0
 export declare function bindMap<F extends URIS4>(
   F: Functor4<F>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <S, R, E>(
   fa: Kind4<F, S, R, E, A>
 ) => Kind4<F, S, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bindMap<F extends URIS3>(
   F: Functor3<F>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <R, E>(fa: Kind3<F, R, E, A>) => Kind3<F, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bindMap<F extends URIS3, E>(
   F: Functor3C<F, E>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <R>(fa: Kind3<F, R, E, A>) => Kind3<F, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bindMap<F extends URIS2>(
   F: Functor2<F>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <E>(fa: Kind2<F, E, A>) => Kind2<F, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bindMap<F extends URIS2, E>(
   F: Functor2C<F, E>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: Kind2<F, E, A>) => Kind2<F, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bindMap<F extends URIS>(
   F: Functor1<F>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: Kind<F, A>) => Kind<F, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export declare function bindMap<F>(
   F: Functor<F>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: HKT<F, A>) => HKT<F, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/IO.ts.md

@@ -422,7 +422,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: IO<A>) => IO<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/IOEither.ts.md

@@ -1217,7 +1217,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <E>(fa: IOEither<E, A>) => IOEither<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/IOOption.ts.md

@@ -858,7 +858,7 @@ Added in v2.12.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: IOOption<A>) => IOOption<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/Identity.ts.md

@@ -512,7 +512,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: A) => { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }
 ```

docs/modules/NonEmptyArray.ts.md

@@ -1328,7 +1328,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: NonEmptyArray<A>) => NonEmptyArray<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/Option.ts.md

@@ -1515,7 +1515,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: Option<A>) => Option<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/Reader.ts.md

@@ -671,7 +671,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <E>(fa: Reader<E, A>) => Reader<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/ReaderEither.ts.md

@@ -1279,7 +1279,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <R, E>(
   fa: ReaderEither<R, E, A>

docs/modules/ReaderTask.ts.md

@@ -774,7 +774,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <E>(fa: ReaderTask<E, A>) => ReaderTask<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/ReaderTaskEither.ts.md

@@ -1872,7 +1872,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <R, E>(
   fa: ReaderTaskEither<R, E, A>

docs/modules/ReadonlyArray.ts.md

@@ -2360,7 +2360,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: readonly A[]) => readonly { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }[]
 ```

docs/modules/ReadonlyNonEmptyArray.ts.md

@@ -1442,7 +1442,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (
   fa: ReadonlyNonEmptyArray<A>

docs/modules/State.ts.md

@@ -387,7 +387,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <E>(fa: State<E, A>) => State<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/StateReaderTaskEither.ts.md

@@ -1466,7 +1466,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <S, R, E>(
   fa: StateReaderTaskEither<S, R, E, A>

docs/modules/Task.ts.md

@@ -589,7 +589,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: Task<A>) => Task<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/TaskEither.ts.md

@@ -1548,7 +1548,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <E>(fa: TaskEither<E, A>) => TaskEither<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/TaskOption.ts.md

@@ -984,7 +984,7 @@ Added in v2.10.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: TaskOption<A>) => TaskOption<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

docs/modules/Tree.ts.md

@@ -626,7 +626,7 @@ Added in v2.8.0
 
 ```ts
 export declare const bindMap: <N, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: Tree<A>) => Tree<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
 ```

src/Functor.ts

@@ -195,51 +195,51 @@ export function bindTo<F>(
 export function bindMap<F extends URIS4>(
   F: Functor4<F>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <S, R, E>(
   fa: Kind4<F, S, R, E, A>
 ) => Kind4<F, S, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bindMap<F extends URIS3>(
   F: Functor3<F>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <R, E>(fa: Kind3<F, R, E, A>) => Kind3<F, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bindMap<F extends URIS3, E>(
   F: Functor3C<F, E>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <R>(fa: Kind3<F, R, E, A>) => Kind3<F, R, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bindMap<F extends URIS2>(
   F: Functor2<F>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => <E>(fa: Kind2<F, E, A>) => Kind2<F, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bindMap<F extends URIS2, E>(
   F: Functor2C<F, E>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: Kind2<F, E, A>) => Kind2<F, E, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bindMap<F extends URIS>(
   F: Functor1<F>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: Kind<F, A>) => Kind<F, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bindMap<F>(
   F: Functor<F>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: HKT<F, A>) => HKT<F, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }>
 export function bindMap<F>(
   F: Functor<F>
 ): <N extends string, A, B>(
-  name: N,
+  name: Exclude<N, keyof A>,
   f: (a: A) => B
 ) => (fa: HKT<F, A>) => HKT<F, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }> {
   return (name, f) => (fa) => F.map(fa, (a) => Object.assign({}, a, { [name]: f(a) }) as any)