diff --git a/src/TraitExpression.ts b/src/TraitExpression.ts
index d3ea079..d107da7 100644
--- a/src/TraitExpression.ts
+++ b/src/TraitExpression.ts
@@ -60,7 +60,7 @@ export class TraitExpression<
         this:            This,
         abstract:        (expression: This) => Opaque<SubtraitAbstract, AbstractTag>,
         staticAbstract:  (expression: This) => Opaque<SubtraitStaticAbstract, AbstractTag>,
-        apply:           (Super: AbstractClass<SubtraitAbstract> & { _tag: TraitApplierSuperTag }) => SubtraitImplClassWithAbstract,
+        apply:           (Super: AbstractClass<SubtraitAbstract> & SubtraitStaticAbstract & { _tag: TraitApplierSuperTag }) => SubtraitImplClassWithAbstract,
     ) {
         return new Trait(
             this,