diff --git a/packages/effect-fc/src/Component.ts b/packages/effect-fc/src/Component.ts
index 3303990..82bdd0c 100644
--- a/packages/effect-fc/src/Component.ts
+++ b/packages/effect-fc/src/Component.ts
@@ -30,10 +30,10 @@ extends
 }
 
 export namespace Component {
-    export type Props<T extends Component<any, any, any, any>> = T extends Component<infer P, infer _A, infer _E, infer _R> ? P : never
-    export type Success<T extends Component<any, any, any, any>> = T extends Component<infer _P, infer A, infer _E, infer _R> ? A : never
-    export type Error<T extends Component<any, any, any, any>> = T extends Component<infer _P, infer _A, infer E, infer _R> ? E : never
-    export type Context<T extends Component<any, any, any, any>> = T extends Component<infer _P, infer _A, infer _E, infer R> ? R : never
+    export type Props<T extends Component<any, any, any, any>> = [T] extends [Component<infer P, infer _A, infer _E, infer _R>] ? P : never
+    export type Success<T extends Component<any, any, any, any>> = [T] extends [Component<infer _P, infer A, infer _E, infer _R>] ? A : never
+    export type Error<T extends Component<any, any, any, any>> = [T] extends [Component<infer _P, infer _A, infer E, infer _R>] ? E : never
+    export type Context<T extends Component<any, any, any, any>> = [T] extends [Component<infer _P, infer _A, infer _E, infer R>] ? R : never
 
     export type AsComponent<T extends Component<any, any, any, any>> = Component<Props<T>, Success<T>, Error<T>, Context<T>>