From 56f4e2d1f1b0412d0051e3261d81b452ca0b3303 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Mon, 30 Mar 2026 16:33:46 +0200
Subject: [PATCH] Fix

---
 packages/effect-fc/src/Form.ts                                | 4 ++--
 packages/example/src/lib/form/TextFieldFormInputView.tsx      | 2 +-
 .../example/src/lib/form/TextFieldOptionalFormInputView.tsx   | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/packages/effect-fc/src/Form.ts b/packages/effect-fc/src/Form.ts
index eda1864..1a2196e 100644
--- a/packages/effect-fc/src/Form.ts
+++ b/packages/effect-fc/src/Form.ts
@@ -11,7 +11,7 @@ import * as SubscriptionRef from "./SubscriptionRef.js"
 export const FormTypeId: unique symbol = Symbol.for("@effect-fc/Form/Form")
 export type FormTypeId = typeof FormTypeId
 
-export interface Form<in out P extends readonly PropertyKey[], in out A, in out I = A, in out ER = never, in out EW = never>
+export interface Form<out P extends readonly PropertyKey[], in out A, in out I = A, in out ER = never, in out EW = never>
 extends Pipeable.Pipeable {
     readonly [FormTypeId]: FormTypeId
 
@@ -24,7 +24,7 @@ extends Pipeable.Pipeable {
     readonly isSubmitting: Subscribable.Subscribable<boolean, never, never>
 }
 
-export class FormImpl<in out P extends readonly PropertyKey[], in out A, in out I = A, in out ER = never, in out EW = never>
+export class FormImpl<out P extends readonly PropertyKey[], in out A, in out I = A, in out ER = never, in out EW = never>
 extends Pipeable.Class() implements Form<P, A, I, ER, EW> {
     readonly [FormTypeId]: FormTypeId = FormTypeId
 
diff --git a/packages/example/src/lib/form/TextFieldFormInputView.tsx b/packages/example/src/lib/form/TextFieldFormInputView.tsx
index 5b49db5..d7b462c 100644
--- a/packages/example/src/lib/form/TextFieldFormInputView.tsx
+++ b/packages/example/src/lib/form/TextFieldFormInputView.tsx
@@ -5,7 +5,7 @@ import { Component, Form, Subscribable } from "effect-fc"
 
 export declare namespace TextFieldFormInputView {
     export interface Props extends Omit<TextField.RootProps, "form">, Form.useInput.Options {
-        readonly form: Form.Form<any, any, string>
+        readonly form: Form.Form<readonly PropertyKey[], any, string>
     }
 }
 
diff --git a/packages/example/src/lib/form/TextFieldOptionalFormInputView.tsx b/packages/example/src/lib/form/TextFieldOptionalFormInputView.tsx
index da01fd4..a3b5eda 100644
--- a/packages/example/src/lib/form/TextFieldOptionalFormInputView.tsx
+++ b/packages/example/src/lib/form/TextFieldOptionalFormInputView.tsx
@@ -5,7 +5,7 @@ import { Component, Form, Subscribable } from "effect-fc"
 
 export declare namespace TextFieldOptionalFormInputView {
     export interface Props extends Omit<TextField.RootProps, "form" | "defaultValue">, Form.useOptionalInput.Options<string> {
-        readonly form: Form.Form<any, any, Option.Option<string>>
+        readonly form: Form.Form<readonly PropertyKey[], any, Option.Option<string>>
     }
 }