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

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

diff --git a/packages/effect-fc/src/Component.ts b/packages/effect-fc/src/Component.ts
index 4fc632e..f01360b 100644
--- a/packages/effect-fc/src/Component.ts
+++ b/packages/effect-fc/src/Component.ts
@@ -43,7 +43,7 @@ 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>>, A, EOut, ROut, P extends {} = {}>(
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B extends Effect.Effect<React.ReactNode, any, any>, P extends {} = {}>(
             body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
@@ -52,21 +52,9 @@ export namespace make {
                     [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>>, A, B, EOut, ROut, P extends {} = {}>(
-            body: (props: P) => Generator<Eff, A, never>,
-            a: (
-                _: Effect.Effect<
-                    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>,
-            ) => 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>>, A, B, C, EOut, ROut, P extends {} = {}>(
+            ) => B
+        ): Component<Effect.Effect.Error<B>, Effect.Effect.Context<B>, P>
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C extends Effect.Effect<React.ReactNode, any, any>, P extends {} = {}>(
             body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
@@ -77,9 +65,8 @@ export namespace make {
                 props: NoInfer<P>,
             ) => 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>>, A, B, C, D, EOut, ROut, P extends {} = {}>(
+        ): Component<Effect.Effect.Error<C>, Effect.Effect.Context<C>, P>
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D extends Effect.Effect<React.ReactNode, any, any>, P extends {} = {}>(
             body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
@@ -91,9 +78,8 @@ export namespace make {
             ) => 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>>, A, B, C, D, E, EOut, ROut, P extends {} = {}>(
+        ): Component<Effect.Effect.Error<D>, Effect.Effect.Context<D>, P>
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E extends Effect.Effect<React.ReactNode, any, any>, P extends {} = {}>(
             body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
@@ -106,9 +92,8 @@ export namespace make {
             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>>, A, B, C, D, E, F, EOut, ROut, P extends {} = {}>(
+        ): Component<Effect.Effect.Error<E>, Effect.Effect.Context<E>, P>
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F extends Effect.Effect<React.ReactNode, any, any>, P extends {} = {}>(
             body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
@@ -122,9 +107,8 @@ export namespace make {
             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>>, A, B, C, D, E, F, G, EOut, ROut, P extends {} = {}>(
+        ): Component<Effect.Effect.Error<F>, Effect.Effect.Context<F>, P>
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, G extends Effect.Effect<React.ReactNode, any, any>, P extends {} = {}>(
             body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
@@ -139,9 +123,8 @@ export namespace make {
             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>>, A, B, C, D, E, F, G, H, EOut, ROut, P extends {} = {}>(
+        ): Component<Effect.Effect.Error<G>, Effect.Effect.Context<G>, P>
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, G, H extends Effect.Effect<React.ReactNode, any, any>, P extends {} = {}>(
             body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
@@ -157,9 +140,8 @@ export namespace make {
             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>>, A, B, C, D, E, F, G, H, I, EOut, ROut, P extends {} = {}>(
+        ): Component<Effect.Effect.Error<H>, Effect.Effect.Context<H>, P>
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, G, H, I extends Effect.Effect<React.ReactNode, any, any>, P extends {} = {}>(
             body: (props: P) => Generator<Eff, A, never>,
             a: (
                 _: Effect.Effect<
@@ -176,8 +158,26 @@ export namespace make {
             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>
+        ): Component<Effect.Effect.Error<I>, Effect.Effect.Context<I>, P>
+        <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, G, H, I, J extends Effect.Effect<React.ReactNode, any, any>, P extends {} = {}>(
+            body: (props: P) => Generator<Eff, A, never>,
+            a: (
+                _: Effect.Effect<
+                    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>,
+            ) => 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>) => J,
+        ): Component<Effect.Effect.Error<J>, Effect.Effect.Context<J>, P>
     }
 
     export type NonGen = {