diff --git a/src/Trait.ts b/src/Trait.ts
index 9514d72..eb8d353 100644
--- a/src/Trait.ts
+++ b/src/Trait.ts
@@ -113,7 +113,9 @@ export namespace Trait {
             Trait.Instance<T>,
             any[]
         > &
-        Pipe<[...Trait.Supertraits<T>, T], [
+        Pipe<T, [
+            Trait.SupertraitsFn,
+            Tuples.Prepend<T>,
             Tuples.Map<Trait.OwnClassFn>,
             Tuples.Map<StaticMembersFn>,
             ExtendFn,
@@ -125,7 +127,9 @@ export namespace Trait {
     }
 
     export type Instance<T> = (
-        Pipe<[...Trait.Supertraits<T>, T], [
+        Pipe<T, [
+            Trait.SupertraitsFn,
+            Tuples.Prepend<T>,
             Tuples.Map<Trait.OwnInstanceFn>,
             ExtendFn,
             SimplifyFn,