From ed3f94c0e91cbefd2ea1739f1f189451dcedb7f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Thu, 17 Jul 2025 18:24:58 +0200
Subject: [PATCH] Fix

---
 packages/effect-fc/src/Component.ts | 142 ++++++++++++++--------------
 1 file changed, 71 insertions(+), 71 deletions(-)

diff --git a/packages/effect-fc/src/Component.ts b/packages/effect-fc/src/Component.ts
index e245e7f..4fc632e 100644
--- a/packages/effect-fc/src/Component.ts
+++ b/packages/effect-fc/src/Component.ts
@@ -43,140 +43,140 @@ export namespace make {
             [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never,
             P
         >
-        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, EOut, ROut, P extends {} = {}>(
-            body: (props: P) => Generator<Eff, AEff, never>,
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, EOut, ROut, P extends {} = {}>(
+            body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
-                    AEff,
+                    A,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
                 >,
                 props: NoInfer<P>,
             ) => Effect.Effect<React.ReactNode, EOut, ROut>
         ): Component<EOut, ROut, P>
-        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, EOut, ROut, P extends {} = {}>(
-            body: (props: P) => Generator<Eff, AEff, never>,
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, EOut, ROut, P extends {} = {}>(
+            body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
-                    AEff,
+                    A,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
                 >,
                 props: NoInfer<P>,
-            ) => A,
-            b: (_: A, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
+            ) => B,
+            b: (_: B, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
         ): Component<EOut, ROut, P>
-        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, EOut, ROut, P extends {} = {}>(
-            body: (props: P) => Generator<Eff, AEff, never>,
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, EOut, ROut, P extends {} = {}>(
+            body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
-                    AEff,
+                    A,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
                 >,
                 props: NoInfer<P>,
-            ) => A,
-            b: (_: A, props: NoInfer<P>) => B,
-            c: (_: B, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
+            ) => B,
+            b: (_: B, props: NoInfer<P>) => C,
+            c: (_: C, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
         ): Component<EOut, ROut, P>
-        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, EOut, ROut, P extends {} = {}>(
-            body: (props: P) => Generator<Eff, AEff, never>,
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, EOut, ROut, P extends {} = {}>(
+            body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
-                    AEff,
+                    A,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
                 >,
                 props: NoInfer<P>,
-            ) => A,
-            b: (_: A, props: NoInfer<P>) => B,
-            c: (_: B, props: NoInfer<P>) => C,
-            d: (_: C, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
+            ) => B,
+            b: (_: B, props: NoInfer<P>) => C,
+            c: (_: C, props: NoInfer<P>) => D,
+            d: (_: D, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
         ): Component<EOut, ROut, P>
-        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, D, EOut, ROut, P extends {} = {}>(
-            body: (props: P) => Generator<Eff, AEff, never>,
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, EOut, ROut, P extends {} = {}>(
+            body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
-                    AEff,
+                    A,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
                 >,
                 props: NoInfer<P>,
-            ) => A,
-            b: (_: A, props: NoInfer<P>) => B,
-            c: (_: B, props: NoInfer<P>) => C,
-            d: (_: C, props: NoInfer<P>) => D,
-            e: (_: D, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
+            ) => B,
+            b: (_: B, props: NoInfer<P>) => C,
+            c: (_: C, props: NoInfer<P>) => D,
+            d: (_: D, props: NoInfer<P>) => E,
+            e: (_: E, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
         ): Component<EOut, ROut, P>
-        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, D, E, EOut, ROut, P extends {} = {}>(
-            body: (props: P) => Generator<Eff, AEff, never>,
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, EOut, ROut, P extends {} = {}>(
+            body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
-                    AEff,
+                    A,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
                 >,
                 props: NoInfer<P>,
-            ) => A,
-            b: (_: A, props: NoInfer<P>) => B,
-            c: (_: B, props: NoInfer<P>) => C,
-            d: (_: C, props: NoInfer<P>) => D,
-            e: (_: D, props: NoInfer<P>) => E,
-            f: (_: E, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
+            ) => B,
+            b: (_: B, props: NoInfer<P>) => C,
+            c: (_: C, props: NoInfer<P>) => D,
+            d: (_: D, props: NoInfer<P>) => E,
+            e: (_: E, props: NoInfer<P>) => F,
+            f: (_: F, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
         ): Component<EOut, ROut, P>
-        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, D, E, F, EOut, ROut, P extends {} = {}>(
-            body: (props: P) => Generator<Eff, AEff, never>,
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, G, EOut, ROut, P extends {} = {}>(
+            body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
-                    AEff,
+                    A,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
                 >,
                 props: NoInfer<P>,
-            ) => A,
-            b: (_: A, props: NoInfer<P>) => B,
-            c: (_: B, props: NoInfer<P>) => C,
-            d: (_: C, props: NoInfer<P>) => D,
-            e: (_: D, props: NoInfer<P>) => E,
-            f: (_: E, props: NoInfer<P>) => F,
-            g: (_: F, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
+            ) => B,
+            b: (_: B, props: NoInfer<P>) => C,
+            c: (_: C, props: NoInfer<P>) => D,
+            d: (_: D, props: NoInfer<P>) => E,
+            e: (_: E, props: NoInfer<P>) => F,
+            f: (_: F, props: NoInfer<P>) => G,
+            g: (_: G, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
         ): Component<EOut, ROut, P>
-        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, D, E, F, G, EOut, ROut, P extends {} = {}>(
-            body: (props: P) => Generator<Eff, AEff, never>,
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, G, H, EOut, ROut, P extends {} = {}>(
+            body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
-                    AEff,
+                    A,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
                 >,
                 props: NoInfer<P>,
-            ) => A,
-            b: (_: A, props: NoInfer<P>) => B,
-            c: (_: B, props: NoInfer<P>) => C,
-            d: (_: C, props: NoInfer<P>) => D,
-            e: (_: D, props: NoInfer<P>) => E,
-            f: (_: E, props: NoInfer<P>) => F,
-            g: (_: F, props: NoInfer<P>) => G,
-            h: (_: G, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
+            ) => B,
+            b: (_: B, props: NoInfer<P>) => C,
+            c: (_: C, props: NoInfer<P>) => D,
+            d: (_: D, props: NoInfer<P>) => E,
+            e: (_: E, props: NoInfer<P>) => F,
+            f: (_: F, props: NoInfer<P>) => G,
+            g: (_: G, props: NoInfer<P>) => H,
+            h: (_: H, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
         ): Component<EOut, ROut, P>
-        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, D, E, F, G, H, EOut, ROut, P extends {} = {}>(
-            body: (props: P) => Generator<Eff, AEff, never>,
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, G, H, I, EOut, ROut, P extends {} = {}>(
+            body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
-                    AEff,
+                    A,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
                     [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
                 >,
                 props: NoInfer<P>,
-            ) => A,
-            b: (_: A, props: NoInfer<P>) => B,
-            c: (_: B, props: NoInfer<P>) => C,
-            d: (_: C, props: NoInfer<P>) => D,
-            e: (_: D, props: NoInfer<P>) => E,
-            f: (_: E, props: NoInfer<P>) => F,
-            g: (_: F, props: NoInfer<P>) => G,
-            h: (_: G, props: NoInfer<P>) => H,
-            i: (_: H, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
+            ) => B,
+            b: (_: B, props: NoInfer<P>) => C,
+            c: (_: C, props: NoInfer<P>) => D,
+            d: (_: D, props: NoInfer<P>) => E,
+            e: (_: E, props: NoInfer<P>) => F,
+            f: (_: F, props: NoInfer<P>) => G,
+            g: (_: G, props: NoInfer<P>) => H,
+            h: (_: H, props: NoInfer<P>) => I,
+            i: (_: I, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
         ): Component<EOut, ROut, P>
     }