TraitBuilder work

src/TraitBuilder.ts

@@ -5,18 +5,25 @@ import { ExtendPlain, StaticMembers } from "./util"
 
 
 type ImplSuper<
-    Supertraits     extends Trait<any, any, any, any>[],
+    SuperExpression extends TraitExpression<
+        typeof TraitExpression.NullSuperclass,
+        Trait<any, any, any, any>[]
+    >,
     Abstract        extends object,
     StaticAbstract  extends object,
 > = (
     AbstractClass<
         ExtendPlain<[
-            ...Traits.MapImplInstance<Supertraits>,
+            ...Traits.MapImplInstance<
+                TraitExpression.Traits<SuperExpression>
+            >,
             Abstract,
         ]>
     > &
     ExtendPlain<[
-        ...Traits.MapImplStaticMembers<Supertraits>,
+        ...Traits.MapImplStaticMembers<
+            TraitExpression.Traits<SuperExpression>
+        >,
         StaticAbstract,
     ]> &
     { readonly _tag: "@thilawyn/traitify-ts/Super" }  // TODO: replace with unique symbol?
@@ -63,17 +70,13 @@ export class TraitBuilder<
 
     implement<
         ImplClassWithAbstract extends ImplSuper<  // TODO: use This instead?
-            TraitExpression.Traits<SuperExpression>,
+            SuperExpression,
             Abstract,
             StaticAbstract
         >
     >(
         apply: (
-            Super: ImplSuper<
-                TraitExpression.Traits<SuperExpression>,
-                Abstract,
-                StaticAbstract
-            >
+            Super: ImplSuper<SuperExpression, Abstract, StaticAbstract>
         ) => ImplClassWithAbstract
     ) {
         return new TraitBuilder(