diff --git a/src/effect/EffectSchemaTraitExpression.ts b/src/effect/EffectSchemaTraitExpression.ts
index a3d29ca..2d284f8 100644
--- a/src/effect/EffectSchemaTraitExpression.ts
+++ b/src/effect/EffectSchemaTraitExpression.ts
@@ -33,7 +33,15 @@ implements TraitExpressionLike<
     extends<Self>(): (
         AbstractConstructor<
             ApplyMutability<S.Struct.Type<Fields>, Mutability> &
-            Omit<Inherited, keyof Fields> &
+            Omit<
+                Simplify<
+                    Extend<[
+                        Inherited,
+                        ...TraitTuple.MapImplInstance<Traits>
+                    ]>
+                >,
+                keyof Fields
+            > &
             Proto,
 
             ConstructorParameters<S.Class<unknown, Fields, I, R, C, Inherited, Proto>>
@@ -45,12 +53,7 @@ implements TraitExpressionLike<
                 Fields,
                 ApplyMutability<I, EncodedMutability>,
                 R, C,
-                Simplify<
-                    Extend<[
-                        Inherited,
-                        ...TraitTuple.MapImplInstance<Traits>
-                    ]>
-                >,
+                Inherited,
                 Proto
             >
         > &