diff --git a/src/ZodSchemaClass.ts b/src/ZodSchemaClass.ts
index 765d5c5..53a6cdc 100644
--- a/src/ZodSchemaClass.ts
+++ b/src/ZodSchemaClass.ts
@@ -1,9 +1,9 @@
 import { expression } from "@thilawyn/traitify-ts"
 import { NoInfer } from "effect/Types"
-import { AbstractClass, Class } from "type-fest"
+import { AbstractClass } from "type-fest"
 import { z } from "zod"
 import { InstantiableZodSchemaObject } from "./traits/InstantiableZodSchemaObject"
-import { StaticMembers } from "./util"
+import { Extend, StaticMembers } from "./util"
 
 
 export function ZodSchemaClassOf<
@@ -36,11 +36,19 @@ export function ZodSchemaClassOf<
         .expresses(InstantiableZodSchemaObject)
         .build()
 
-    return exp.extends as Class<
-        InstanceType<typeof exp.extends> & Values,
+    return exp.extends as AbstractClass<
+        Extend<[
+            InstanceType<Superclass>,
+            InstanceType<typeof exp.extends>,
+            Values,
+        ]>,
+
         ConstructorParameters<typeof exp.extends>
     > &
-    StaticMembers<typeof exp.extends>
+    Extend<[
+        StaticMembers<Superclass>,
+        StaticMembers<typeof exp.extends>,
+    ]>
 }
 
 
diff --git a/src/util/inheritance.ts b/src/util/extend.ts
similarity index 83%
rename from src/util/inheritance.ts
rename to src/util/extend.ts
index a179d78..21aa4ab 100644
--- a/src/util/inheritance.ts
+++ b/src/util/extend.ts
@@ -9,10 +9,10 @@ export type CommonKeys<A, B> = Extract<keyof A, keyof B>
  * Merges an inheritance tree defined by an array of types, considering overrides.
  * @template T - An array of types representing the inheritance tree.
  */
-export type MergeInheritanceTree<T extends readonly any[]> = (
+export type Extend<T extends readonly any[]> = (
     T extends [infer Super, infer Self, ...infer Rest]
         ? Pick<Self, CommonKeys<Self, Super>> extends Pick<Super, CommonKeys<Self, Super>>
-            ? MergeInheritanceTree<[
+            ? Extend<[
                 Omit<Super, CommonKeys<Self, Super>> & Self,
                 ...Rest,
             ]>
@@ -26,10 +26,10 @@ export type MergeInheritanceTree<T extends readonly any[]> = (
  * Merges an inheritance tree defined by an array of types without allowing overrides.
  * @template T - An array of types representing the inheritance tree.
  */
-export type MergeInheritanceTreeWithoutOverriding<T extends readonly any[]> = (
+export type ExtendWithoutOverriding<T extends readonly any[]> = (
     T extends [infer Super, infer Self, ...infer Rest]
         ? Pick<Self, CommonKeys<Self, Super>> extends Pick<Super, CommonKeys<Self, Super>>
-            ? MergeInheritanceTreeWithoutOverriding<[
+            ? ExtendWithoutOverriding<[
                 Super & Self,
                 ...Rest,
             ]>
diff --git a/src/util/index.ts b/src/util/index.ts
index f7d0c08..7bc5968 100644
--- a/src/util/index.ts
+++ b/src/util/index.ts
@@ -1,4 +1,4 @@
 export * from "./class"
 export * from "./effect"
-export * from "./inheritance"
+export * from "./extend"
 export * from "./misc"