From c6b9bbe9cb8c9421d58a22a70b8d4b81a1282fca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Sat, 3 Feb 2024 02:24:44 +0100
Subject: [PATCH] Fix

---
 src/trait.ts | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/src/trait.ts b/src/trait.ts
index 6d5e5fc..71dbaeb 100644
--- a/src/trait.ts
+++ b/src/trait.ts
@@ -1,7 +1,7 @@
 import { Fn } from "hotscript"
 import { AbstractClass, Class, Opaque } from "type-fest"
-import { StaticMembers } from "./util"
 import { AbstractTag } from "."
+import { StaticMembers } from "./util"
 
 
 type AddAbstractToImpl<
@@ -97,7 +97,7 @@ export interface TraitInstanceFn extends Fn {
 export type TraitApplierSuperTag = "@thilawyn/traitify-ts/TraitApplierSuper"
 
 export type TraitApplier<
-    Abstract         extends object,
+    Abstract         extends {},
     ImplWithAbstract extends Class<Abstract, []>,
 > = (
     (Super: Opaque<AbstractClass<Abstract>, TraitApplierSuperTag>) => (
@@ -109,10 +109,8 @@ export function trait<
     Abstract         extends {},
     ImplWithAbstract extends Class<Abstract, []>,
 >(
-    abstract: Opaque<Abstract, AbstractTag>,
-    apply: (Super: Opaque<AbstractClass<Abstract>, TraitApplierSuperTag>) => (
-        Opaque<ImplWithAbstract, TraitApplierSuperTag>
-    ),
+    abstract:  Opaque<Abstract, AbstractTag>,
+    apply:     TraitApplier<Abstract, ImplWithAbstract>,
 ): Trait<
     Abstract,
     RemoveAbstractFromImpl<ImplWithAbstract, Abstract>