Code improvement

src/TraitExpressionBuilder.ts

@@ -19,9 +19,9 @@ type AbstractMembersExtendable<
     Superclass extends AbstractClass<{}>,
     Traits     extends Trait<any, any, any>[],
 > = (
-    Call<ExtendableFn, [
-        InstanceType<Superclass>,
-        ...Call<Tuples.Map<Trait.OwnAbstractFn>, Traits>,
+    Pipe<Traits, [
+        Tuples.Map<Trait.OwnAbstractFn>,
+        Tuples.Prepend<InstanceType<Superclass>>,
     ]>
 )
 
@@ -29,9 +29,9 @@ type ImplInstanceExtendable<
     Superclass extends AbstractClass<{}>,
     Traits     extends Trait<any, any, any>[],
 > = (
-    Call<ExtendableFn, [
-        InstanceType<Superclass>,
-        ...Call<Tuples.Map<Trait.OwnImplInstanceFn>, Traits>,
+    Pipe<Traits, [
+        Tuples.Map<Trait.OwnImplInstanceFn>,
+        Tuples.Prepend<InstanceType<Superclass>>,
     ]>
 )
 
@@ -39,10 +39,9 @@ type ImplStaticMembersExtendable<
     Superclass extends AbstractClass<{}>,
     Traits     extends Trait<any, any, any>[],
 > = (
-    Pipe<[
-        Superclass,
-        ...Call<Tuples.Map<Trait.OwnImplClassFn>, Traits>,
-    ], [
+    Pipe<Traits, [
+        Tuples.Map<Trait.OwnImplClassFn>,
+        Tuples.Prepend<Superclass>,
         Tuples.Map<StaticMembersFn>,
         ExtendableFn,
     ]>
@@ -53,9 +52,7 @@ type BuildTraitExpression<
     OwnTraits  extends Trait<any, any, any>[],
     AllTraits  extends Trait<any, any, any>[],
 > = (
-    Call<Tuples.IsEmpty, AllTraits> extends true
-        ? "Cannot express an empty list of traits."
-        : AbstractMembersExtendable<Superclass, AllTraits> extends false
+    AbstractMembersExtendable<Superclass, AllTraits> extends false
         ? "Type conflict between the traits abstract members and/or the superclass instance."
         : ImplInstanceExtendable<Superclass, AllTraits> extends false
             ? "Type conflict between the traits implementation instances and/or the superclass instance."