Effect work

src/effect/EffectSchemaTraitExpression.ts

@@ -6,7 +6,6 @@ import { Extend } from "../util"
 
 
 export class EffectSchemaTraitExpression<
-    Superclass   extends S.Class<unknown, Fields, A, I, R, C, Inherited, Proto>,
     Fields       extends S.Struct.Fields,
     A,
     I,
@@ -14,11 +13,12 @@ export class EffectSchemaTraitExpression<
     C,
     Inherited    extends object,
     Proto,
+    Static       extends object,
 
     const Traits extends readonly Trait<any, any, any, any>[],
 > {
     constructor(
-        readonly superclass:  Superclass,
+        readonly superclass:  S.Class<unknown, Fields, A, I, R, C, Inherited, Proto> & Static,
         readonly traits:      Traits,
     ) {}
 
@@ -41,7 +41,10 @@ export class EffectSchemaTraitExpression<
         > &
 
         Simplify<
-            Extend<TraitTuple.MapImplStaticMembers<Traits>>
+            Extend<[
+                Static,
+                ...TraitTuple.MapImplStaticMembers<Traits>
+            ]>
         >
     ) {
         return this.traits.reduce(
@@ -51,9 +54,9 @@ export class EffectSchemaTraitExpression<
     }
 
 
-    staticImplements(_target: StaticImplements<TraitExpression<Superclass, Traits>>, _context: any) {}
+    staticImplements(_target: StaticImplements<TraitExpression<typeof this.superclass, Traits>>, _context: any) {}
 
     get staticImplementsStage2() {
-        return (_target: StaticImplements<TraitExpression<Superclass, Traits>>) => {}
+        return (_target: StaticImplements<TraitExpression<typeof this.superclass, Traits>>) => {}
     }
 }