diff --git a/src/TraitExpression.ts b/src/TraitExpression.ts
index 5170012..19a536a 100644
--- a/src/TraitExpression.ts
+++ b/src/TraitExpression.ts
@@ -67,7 +67,9 @@ export class TraitExpression<
 }
 
 export namespace TraitExpression {
-    export class NullSuperclass {}
+    export class NullSuperclass {
+        static readonly _tag = "@thilawyn/traitify-ts/TraitExpression.NullSuperclass"
+    }
 
     export type Superclass<T> = (
         T extends TraitExpression<infer Superclass, any, any>
@@ -101,11 +103,10 @@ export const emptyTraitExpression = new TraitExpression(TraitExpression.NullSupe
 
 
 export type Implements<Exp extends TraitExpression<any, any, any>> = (
-    Exp extends TraitExpression<any, infer AllTraits, any>
-        ? Pipe<AllTraits, [
-            Tuples.Map<Trait.OwnAbstractFn>,
-            ExtendFn,
-            SimplifyFn,
-        ]>
-        : never
+    Pipe<Exp, [
+        TraitExpression.AllTraitsFn,
+        Tuples.Map<Trait.OwnAbstractFn>,
+        ExtendFn,
+        SimplifyFn,
+    ]>
 )