diff --git a/packages/effect-fc/src/Form.ts b/packages/effect-fc/src/Form.ts
index 4f27696..5d775bf 100644
--- a/packages/effect-fc/src/Form.ts
+++ b/packages/effect-fc/src/Form.ts
@@ -1,5 +1,5 @@
 import * as AsyncData from "@typed/async-data"
-import { Array, Cause, Chunk, Duration, Effect, Equal, Exit, Fiber, flow, identity, Option, ParseResult, pipe, Pipeable, Ref, Schema, Scope, Stream, Subscribable, SubscriptionRef } from "effect"
+import { Array, Cause, Chunk, Duration, Effect, Equal, Exit, Fiber, flow, identity, Option, ParseResult, pipe, Pipeable, Predicate, Ref, Schema, Scope, Stream, Subscribable, SubscriptionRef } from "effect"
 import type { NoSuchElementException } from "effect/Cause"
 import * as React from "react"
 import { Hooks } from "./hooks/index.js"
@@ -45,6 +45,8 @@ extends Pipeable.Class() implements Form<A, I, R, SA, SE, SR> {
     }
 }
 
+export const isForm = (u: unknown): u is Form<unknown, unknown, unknown, unknown, unknown, unknown> => Predicate.hasProperty(u, FormTypeId)
+
 export namespace make {
     export interface Options<in out A, in out I, out R, in out SA = void, in out SE = A, out SR = never> {
         readonly schema: Schema.Schema<A, I, R>
@@ -248,6 +250,7 @@ extends Pipeable.Class() implements FormField<A, I> {
     }
 }
 
+export const isFormField = (u: unknown): u is FormField<unknown, unknown> => Predicate.hasProperty(u, FormFieldTypeId)
 
 export namespace useForm {
     export interface Options<in out A, in out I, out R, in out SA = void, in out SE = A, out SR = never>