diff --git a/src/TraitExpressionBuilder.ts b/src/TraitExpressionBuilder.ts
index 4e222ee..89b01ec 100644
--- a/src/TraitExpressionBuilder.ts
+++ b/src/TraitExpressionBuilder.ts
@@ -16,35 +16,25 @@ type SpreadSupertraits<T> = (
 )
 
 
-type InstanceExtendable<
-    Superclass extends AbstractClass<object>,
-    Traits     extends Trait<any, any, any, any>[],
-> = (
-    Extendable<[
-        InstanceType<Superclass>,
-        ...TraitTuple.MapInstance<Traits>,
-    ]>
-)
-
-type StaticMembersExtendable<
-    Superclass extends AbstractClass<object>,
-    Traits     extends Trait<any, any, any, any>[],
-> = (
-    Extendable<[
-        StaticMembers<Superclass>,
-        ...TraitTuple.MapStaticMembers<Traits>,
-    ]>
-)
-
 type BuildTraitExpression<
     Superclass extends AbstractClass<object>,
     Traits     extends Trait<any, any, any, any>[],
 > = (
-    InstanceExtendable<Superclass, Traits> extends false
-        ? "Type conflict on the instance side."
-        : StaticMembersExtendable<Superclass, Traits> extends false
-            ? "Type conflict on the static side."
-            : TraitExpression<Superclass, Traits>
+    Extendable<TraitTuple.MapAbstract<Traits>> extends false
+        ? "Type conflict between the traits abstract definitions."
+        : Extendable<TraitTuple.MapStaticAbstract<Traits>> extends false
+            ? "Type conflict between the traits static abstract definitions."
+            : Extendable<[
+                InstanceType<Superclass>,
+                ...TraitTuple.MapImplInstance<Traits>,
+            ]> extends false
+                ? "Type conflict between the traits implementation instance and/or the superclass instance."
+                : Extendable<[
+                    StaticMembers<Superclass>,
+                    ...TraitTuple.MapImplStaticMembers<Traits>,
+                ]> extends false
+                    ? "Type conflict between the traits implementation static members and/or the superclass static members."
+                    : TraitExpression<Superclass, Traits>
 )