diff --git a/src/expresses.ts b/src/expresses.ts
index edb6428..ecdcf4e 100644
--- a/src/expresses.ts
+++ b/src/expresses.ts
@@ -13,16 +13,6 @@ class TraitExpression<
         readonly traits:      Traits,
     ) {}
 
-    get implements(): (
-        Pipe<Traits, [
-            Tuples.Map<TraitAbstractMembersFn>,
-            ExtendFn,
-            SimplifyFn,
-        ]>
-    ) {
-        throw new Error("Not meant to be called")
-    }
-
     get extends(): (
         AbstractClass<
             Pipe<[
diff --git a/src/tests.ts b/src/tests.ts
index ac36276..c8b2aeb 100644
--- a/src/tests.ts
+++ b/src/tests.ts
@@ -1,4 +1,3 @@
-import { Identity, Pipe, Tuples } from "hotscript"
 import { Implements, TraitAbstractMembers, expression, trait } from "."
 
 
@@ -40,9 +39,6 @@ const ActiveStatefulSubscription = trait<ActiveStatefulSubscriptionAbstractMembe
 )
 
 
-// type Test2 = Simplify<MergeInheritanceTree<Test1>>
-
-
 class TestSuperclass {
     // id: number = 69
     // static test = 69
@@ -59,8 +55,8 @@ const builder = expression
 
 const exp = builder.get()
 
-class User extends exp.extends implements (typeof exp.implements) {
-    // id: bigint = -1n
+class User extends exp.extends implements Implements<typeof exp> {
+    id: bigint = -1n
 }
 
 console.log(new User())