diff --git a/packages/effect-lens/src/Lens.ts b/packages/effect-lens/src/Lens.ts
index 6ee763b..43b0a11 100644
--- a/packages/effect-lens/src/Lens.ts
+++ b/packages/effect-lens/src/Lens.ts
@@ -127,19 +127,11 @@ extends Pipeable.Class() implements Lens<A, ER, EW, RR, RW> {
 
 
 export declare namespace LensLazyImpl {
-    export interface Source<
-        in out B,
-        in out EW = never,
-        in out ESW = never,
-        in out ESR = never,
-        in out RSR = never,
-        in out RW = never,
-        in out RSW = never,
-    > {
+    export interface Source<in out B, in out ESW = never, in out ESR = never, in out RSR = never, in out RSW = never> {
         readonly sourceGet: Effect.Effect<B, ESR, RSR>
         readonly sourceChanges: Stream.Stream<B, ESR, RSR>
         readonly sourceCommit: (b: B) => Effect.Effect<void, ESW, RSW>
-        readonly withLock: <A1, E1, R1>(self: Effect.Effect<A1, E1, R1>) => Effect.Effect<A1, EW | E1, RW | R1>
+        readonly withLock: <A1, E1, R1>(self: Effect.Effect<A1, E1, R1>) => Effect.Effect<A1, E1, R1>
     }
 }
 
@@ -157,7 +149,7 @@ export class LensLazyImpl<
 >
 extends LensImpl<A, B, ER, ESR, EW, ESW, RR, RSR, RW, RSW> {
     constructor(
-        readonly source: LensLazyImpl.Source<B, EW, ESW, ESR, RSR, RW, RSW>
+        readonly source: LensLazyImpl.Source<B, ESW, ESR, RSR, RSW>
     ) {
         super()
     }
@@ -178,9 +170,9 @@ extends LensImpl<A, B, ER, ESR, EW, ESW, RR, RSR, RW, RSW> {
 /**
  * Creates a `Lens` by supplying how to read the current value, observe changes, and apply transformations.
  */
-export const makeLazy = <A, ER, EW, RR, RW>(
-    source: LensLazyImpl.Source<A, ER, EW, RR, RW>
-): Lens<A, ER, EW, RR, RW> => new LensLazyImpl(source)
+export const makeLazy = <B, ESW, ESR, RSR, RSW>(
+    source: LensLazyImpl.Source<B, ESW, ESR, RSR, RSW>
+): Lens<B, ESW, ESR, RSR, RSW> => new LensLazyImpl(source)
 
 
 export declare namespace SynchronizedRefLensImpl {