diff --git a/NEXT_VERSION_CHECKLIST.md b/NEXT_VERSION_CHECKLIST.md
index 77860ae1..01843bb8 100644
--- a/NEXT_VERSION_CHECKLIST.md
+++ b/NEXT_VERSION_CHECKLIST.md
@@ -1,3 +1,4 @@
+fix https://github.com/selfrefactor/rambdax/issues/93
 ---
 - binary
 - call
diff --git a/files/index.d.ts b/files/index.d.ts
index 47092ad9..89719e69 100644
--- a/files/index.d.ts
+++ b/files/index.d.ts
@@ -3281,17 +3281,10 @@ Notes:
 
 */
 // @SINGLE_MARKER
-export function prop<P extends keyof never, T>(propToFind: P, value: T): Prop<T, P>;
-export function prop<P extends keyof never>(propToFind: P): {
-    <T>(value: Record<P, T>): T;
-    <T>(value: T): Prop<T, P>;
-};
-export function prop<P extends keyof T, T>(propToFind: P): {
-    (value: T): Prop<T, P>;
-};
-export function prop<P extends keyof never, T>(propToFind: P): {
-    (value: Record<P, T>): T;
-};
+export function prop<_, P extends keyof never, T>(p: P, value: T): Prop<T, P>;
+export function prop<V>(p: keyof never, value: unknown): V;
+export function prop<_, P extends keyof never>(p: P): <T>(value: T) => Prop<T, P>;
+export function prop<V>(p: keyof never): (value: unknown) => V;
 
 /*
 Method: propEq