diff --git a/packages/effect-lens/src/Lens.ts b/packages/effect-lens/src/Lens.ts
index 189a74b..922c9a5 100644
--- a/packages/effect-lens/src/Lens.ts
+++ b/packages/effect-lens/src/Lens.ts
@@ -162,17 +162,17 @@ extends LensImpl<A, ER, EW, RR, RW> {
  * Derives a new `Lens` by linking a step to an existing parent lens.
  */
 export const derive: {
-    <A, ER, EW, RR, RW, C, ER2, EW2, RR2, RW2>(
-        self: Lens<A, ER, EW, RR, RW>,
-        source: DerivedLensImpl.Source<C, A, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
-    ): Lens<C, ER2, EW2, RR2, RW2>
-    <A, ER, EW, RR, RW, C, ER2, EW2, RR2, RW2>(
-        source: DerivedLensImpl.Source<C, A, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
-    ): (self: Lens<A, ER, EW, RR, RW>) => Lens<C, ER2, EW2, RR2, RW2>
-} = Function.dual(2, <A, ER, EW, RR, RW, C, ER2, EW2, RR2, RW2>(
-    self: Lens<A, ER, EW, RR, RW>,
-    source: DerivedLensImpl.Source<C, A, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
-): Lens<C, ER2, EW2, RR2, RW2> => new DerivedLensImpl(asLensImpl(self), source))
+    <A, B, ER, EW, RR, RW, ER2, EW2, RR2, RW2>(
+        self: Lens<B, ER, EW, RR, RW>,
+        source: DerivedLensImpl.Source<A, B, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
+    ): Lens<A, ER2, EW2, RR2, RW2>
+    <A, B, ER, EW, RR, RW, ER2, EW2, RR2, RW2>(
+        source: DerivedLensImpl.Source<A, B, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
+    ): (self: Lens<B, ER, EW, RR, RW>) => Lens<A, ER2, EW2, RR2, RW2>
+} = Function.dual(2, <A, B, ER, EW, RR, RW, ER2, EW2, RR2, RW2>(
+    self: Lens<B, ER, EW, RR, RW>,
+    source: DerivedLensImpl.Source<A, B, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
+): Lens<A, ER2, EW2, RR2, RW2> => new DerivedLensImpl(asLensImpl(self), source))
 
 
 export declare namespace SynchronizedRefLensImpl {