diff --git a/packages/effect-fc/src/types/Form.ts b/packages/effect-fc/src/types/Form.ts
new file mode 100644
index 0000000..aa40de1
--- /dev/null
+++ b/packages/effect-fc/src/types/Form.ts
@@ -0,0 +1,15 @@
+import { Effectable, Schema, type Pipeable } from "effect"
+
+
+export const TypeId: unique symbol = Symbol.for("effect-fc/types/Form")
+export type TypeId = typeof TypeId
+
+export interface Form<in out A, in out I = A, out R = never>
+extends Pipeable.Pipeable {
+    readonly schema: Schema.Schema<A, I, R>
+}
+
+class FormImpl<in out A, in out I, out R>
+extends Effectable.Class<> implements Form<> {
+    readonly [TypeId]: TypeId = TypeId
+}