From 9f4b3a1be59ea0e4fe64d0b809c24b604dc336bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Tue, 31 Mar 2026 20:44:25 +0200
Subject: [PATCH] Fix

---
 packages/effect-fc/src/Form.ts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/packages/effect-fc/src/Form.ts b/packages/effect-fc/src/Form.ts
index c19f782..b339fcc 100644
--- a/packages/effect-fc/src/Form.ts
+++ b/packages/effect-fc/src/Form.ts
@@ -302,14 +302,14 @@ export const focusTupleAt: {
     <P extends readonly PropertyKey[], A extends readonly [any, ...any[]], I extends readonly [any, ...any[]], ER, EW, K extends number>(
         self: Form<P, A, I, ER, EW>,
         index: K,
-    ): Form<readonly [...P, number], A[number], I[number], ER, EW>
+    ): Form<readonly [...P, K], A[K], I[K], ER, EW>
     <P extends readonly PropertyKey[], A extends readonly [any, ...any[]], I extends readonly [any, ...any[]], ER, EW, K extends number>(
         index: K,
-    ): (self: Form<P, A, I, ER, EW>) => Form<readonly [...P, number], A[number], I[number], ER, EW>
+    ): (self: Form<P, A, I, ER, EW>) => Form<readonly [...P, K], A[K], I[K], ER, EW>
 } = Function.dual(2, <P extends readonly PropertyKey[], A extends readonly [any, ...any[]], I extends readonly [any, ...any[]], ER, EW, K extends number>(
     self: Form<P, A, I, ER, EW>,
     index: K,
-): Form<readonly [...P, K], A[number], I[number], ER, EW> => {
+): Form<readonly [...P, K], A[K], I[K], ER, EW> => {
     const form = self as FormImpl<P, A, I, ER, EW>
     const path = [...form.path, index] as const