diff --git a/src/TraitBuilder.ts b/src/TraitBuilder.ts
index 219948e..f3afc25 100644
--- a/src/TraitBuilder.ts
+++ b/src/TraitBuilder.ts
@@ -120,11 +120,12 @@ export namespace TraitBuilder {
 }
 
 
-export type ImplStaticThis<
+export type ImplStatic<
     ImplClass extends AbstractClass<object> & { readonly [implSuperSymbol]: true }
 > = (
-    AbstractClass<InstanceType<ImplClass>> &
-    Omit<StaticMembers<ImplClass>, typeof implSuperSymbol>
+    Simplify<
+        Omit<StaticMembers<ImplClass>, typeof implSuperSymbol>
+    >
 )
 
 
diff --git a/src/lib.ts b/src/lib.ts
index 5cfa1af..3e9f23b 100644
--- a/src/lib.ts
+++ b/src/lib.ts
@@ -1,4 +1,4 @@
 export { Trait, TraitClass, TraitConcreteClass, TraitInstance, TraitStaticMembers, TraitTuple } from "./Trait"
-export { ImplStaticThis, TraitBuilder, trait } from "./TraitBuilder"
+export { ImplStatic, TraitBuilder, trait } from "./TraitBuilder"
 export { Implements, StaticImplements, TraitExpression, TraitExpressionClass, TraitExpressionConcreteClass, TraitExpressionInstance, TraitExpressionStaticMembers } from "./TraitExpression"
 export { TraitExpressionBuilder, expression } from "./TraitExpressionBuilder"