diff --git a/src/TraitExpression.ts b/src/TraitExpression.ts
index 0d0147e..73c467b 100644
--- a/src/TraitExpression.ts
+++ b/src/TraitExpression.ts
@@ -99,10 +99,28 @@ export type ImplementsStatic<Exp extends TraitExpression<any, any>> = (
     ]>
 )
 
+
 export type TraitExpressionClass<Exp extends TraitExpression<any, any>> = (
+    AbstractClass<
+    > &
+
+
+)
+
+export type TraitExpressionConcreteClass<Exp extends TraitExpression<any, any>> = (
 
 )
 
 export type TraitExpressionInstance<Exp extends TraitExpression<any, any>> = (
 
 )
+
+export type TraitExpressionStaticMembers<Exp extends TraitExpression<any, any>> = (
+    Pipe<Traits, [
+        Tuples.Map<Trait.OwnClassFn>,  // Map all the traits to their implementation class
+        Tuples.Prepend<Superclass>,        // Add the superclass at the top of the list
+        Tuples.Map<StaticMembersFn>,       // Map all the classes to an object containing their static members
+        ExtendFn,                          // Reduce to a single object that extends all the objects in the list
+        SimplifyFn,                        // Make readable for IDEs
+    ]>
+)