diff --git a/deno.json b/deno.json
new file mode 100644
index 0000000..52d32e3
--- /dev/null
+++ b/deno.json
@@ -0,0 +1,5 @@
+{
+    "compilerOptions": {
+        "checkJs": true
+    }
+}
\ No newline at end of file
diff --git a/index.js b/index.js
index 6a92acd..07e9826 100644
--- a/index.js
+++ b/index.js
@@ -1,5 +1,4 @@
-/** @import * as TYPES from "./types" */
-
+/** @import * as TYPES from "./types.ts" */
 
 /** @type {TYPES.DeskBuilder} */
 function Desk(parts, ...desks)
@@ -45,13 +44,27 @@ function Desk(parts, ...desks)
 
 }
 
-
 Desk
 (
     {
         p1:"hey",
         p2:"sup"
     },
-    ["Desk 2", "all", {p1:1, p2:6}, "p2"],
-    ["Desk 1", "all", {p1:1, p2:6}, "p2"]
+    ["d1", "all", {p2:3}, "p1"]
+)
+
+
+/** @type {TYPES.UserBuilder} */
+function User(users, roles)
+{
+
+}
+
+User(
+    {
+        u1:"seth"
+    },
+    {
+        r1:["Dev", "u155"]
+    }
 )
\ No newline at end of file
diff --git a/types.ts b/types.ts
index 8a7d593..9205e02 100644
--- a/types.ts
+++ b/types.ts
@@ -3,21 +3,20 @@ type PartBlueprint = string
 export type DeskBuilder=
 <
     Parts extends Record<string, PartBlueprint>,
-    IDs extends keyof Parts,
-    Desks extends [ name:string, mode:"all"|"one", Record<IDs, number>, ...make:Array<IDs>][]
+    Desk extends [ name:string, mode:"all"|"one", need:Partial<Record<keyof Parts, number>>, ...make:Array<keyof Parts>]
 >
 (
     parts:Parts,
-    ...desks:Desks
+    ...desks:Desk[]
 )
 =>void
 
+
 type UserBlueprint = string
 export type UserBuilder=
 <
     Users extends Record<string, UserBlueprint>,
-    IDs extends keyof Users,
-    Roles extends Record<string, [ name:string, ...users:Array<IDs>]>
+    Roles extends Record<string, [ name:string, ...users:Array<keyof Users>]>
 >
 (
     users:Users,