diff --git a/files/index.d.ts b/files/index.d.ts
index 041b371f..04782e1a 100644
--- a/files/index.d.ts
+++ b/files/index.d.ts
@@ -7758,10 +7758,10 @@ Notes: Idea for this method comes from `ramda-adjunct` library
 
 */
 // @SINGLE_MARKER
-export function lensSatisfies<T, U>(predicate: (x: T) => boolean, lens: Lens, input: U): boolean;
-export function lensSatisfies<T, U>(predicate: (x: T) => boolean, lens: Lens): (input: U) => boolean;
-export function lensSatisfies<T>(predicate: (x: T) => boolean, lens: Lens, input: T[]): boolean;
-export function lensSatisfies<T>(predicate: (x: T) => boolean, lens: Lens): (input: T[]) => boolean;
+export function lensSatisfies<PredicateInput, Input>(predicate: (x: PredicateInput) => boolean, lens: Lens<PredicateInput, Input>, input: Input): boolean;
+export function lensSatisfies<PredicateInput, Input>(predicate: (x: PredicateInput) => boolean, lens: Lens<PredicateInput, Input>): (input: Input) => boolean;
+export function lensSatisfies<T>(predicate: (x: T) => boolean, lens: Lens<T[], T>, input: T[]): boolean;
+export function lensSatisfies<T>(predicate: (x: T) => boolean, lens: Lens<T[], T>): (input: T[]) => boolean;
 
 /*
 Method: viewOr
diff --git a/source/lensSatisfies-spec.ts b/source/lensSatisfies-spec.ts
index 831ba2e6..b9c90591 100644
--- a/source/lensSatisfies-spec.ts
+++ b/source/lensSatisfies-spec.ts
@@ -3,12 +3,12 @@ import {lensSatisfies, lensIndex, lensPath} from 'rambda'
 describe('R.lensSatisfies', () => {
   it('with list', () => {
     const list = [1, 2, 3]
-    const lens = lensIndex(0)
+    const lens = lensIndex<number>(0)
     const predicate = (x: number) => x > 2
-    const result = lensSatisfies<number>(predicate, lens, list)
+    const result = lensSatisfies(predicate, lens, list)
     result // $ExpectType boolean
 
-    const curriedResult = lensSatisfies<number>(predicate, lens)(list)
+    const curriedResult = lensSatisfies(predicate, lens)(list)
     curriedResult // $ExpectType boolean
   })
   it('with object', () => {