From 3e8cb15809bea26611b79e7bc9726e039ef0fd2e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Wed, 7 Feb 2024 20:30:39 +0100
Subject: [PATCH] Code improvement

---
 src/TraitExpression.ts | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

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,
+    ]>
 )