remove useless type parameters in exists functions

Author: gcanti

docs/modules/Either.ts.md

@@ -1783,7 +1783,7 @@ Returns `false` if `Left` or returns the result of the application of the given
 **Signature**
 
 ```ts
-export declare const exists: <A>(predicate: Predicate<A>) => <E>(ma: Either<E, A>) => boolean
+export declare const exists: <A>(predicate: Predicate<A>) => (ma: Either<unknown, A>) => boolean
 ```
 
 **Example**

docs/modules/These.ts.md

@@ -770,7 +770,7 @@ Added in v2.11.0
 **Signature**
 
 ```ts
-export declare const exists: <A>(predicate: Predicate<A>) => <E>(ma: These<E, A>) => boolean
+export declare const exists: <A>(predicate: Predicate<A>) => (ma: These<unknown, A>) => boolean
 ```
 
 Added in v2.11.0

src/Array.ts

@@ -2928,7 +2928,7 @@ export const some =
  *
  * @since 2.11.0
  */
-export const exists = some
+export const exists: <A>(predicate: Predicate<A>) => (as: Array<A>) => as is NEA.NonEmptyArray<A> = some
 
 /**
  * Places an element in between members of an `Array`, then folds the results using the provided `Monoid`.

src/Either.ts

@@ -1477,7 +1477,7 @@ export function elem<A>(E: Eq<A>): <E>(a: A, ma?: Either<E, A>) => boolean | ((m
  */
 export const exists =
   <A>(predicate: Predicate<A>) =>
-  <E>(ma: Either<E, A>): boolean =>
+  (ma: Either<unknown, A>): boolean =>
     isLeft(ma) ? false : predicate(ma.right)
 
 // -------------------------------------------------------------------------------------

src/ReadonlyArray.ts

@@ -2572,7 +2572,8 @@ export const some =
  *
  * @since 2.11.0
  */
-export const exists = some
+export const exists: <A>(predicate: Predicate<A>) => (as: ReadonlyArray<A>) => as is RNEA.ReadonlyNonEmptyArray<A> =
+  some
 
 /**
  * Places an element in between members of a `ReadonlyArray`, then folds the results using the provided `Monoid`.

src/These.ts

@@ -703,7 +703,7 @@ export const elem =
  */
 export const exists =
   <A>(predicate: Predicate<A>) =>
-  <E>(ma: These<E, A>): boolean =>
+  (ma: These<unknown, A>): boolean =>
     isLeft(ma) ? false : predicate(ma.right)
 
 /**