diff --git a/src/ref.ts b/src/ref.ts
new file mode 100644
index 0000000..572d082
--- /dev/null
+++ b/src/ref.ts
@@ -0,0 +1,9 @@
+import { Eq } from 'fp-ts/Eq';
+import { useRef as useRef_ } from 'react';
+
+export const useStableRef = <A>(a: A, eq: Eq<A>): A => {
+  const ref = useRef_<A>(a);
+  if (!eq.equals(ref.current, a))
+    ref.current = a;
+  return ref.current;
+};
diff --git a/src/state.ts b/src/state.ts
index 67eee23..bec0329 100644
--- a/src/state.ts
+++ b/src/state.ts
@@ -2,20 +2,32 @@ import * as E from 'fp-ts/Either';
 import * as Eq from 'fp-ts/Eq';
 import * as O from 'fp-ts/Option';
 import { Dispatch, SetStateAction, useReducer } from 'react';
+import type { Endomorphism } from 'fp-ts/Endomorphism';
 
-const isSetStateFn = <A>(s: SetStateAction<A>): s is (a: A) => A => typeof s === 'function';
+import Either = E.Either;
+import Option = O.Option;
 
-export const useStable = <A>(initState: A, eq: Eq.Eq<A>): [A, Dispatch<SetStateAction<A>>] =>
+type Eq<A> = Eq.Eq<A>; // eslint-disable-line @typescript-eslint/no-redeclare
+type StateTuple<A> = [A, Dispatch<SetStateAction<A>>];
+
+/** @internal */
+const isSetter = <A>(s: SetStateAction<A>): s is Endomorphism<A> => typeof s === 'function';
+
+export const useStable = <A>(initState: A, eq: Eq<A>): StateTuple<A> =>
   useReducer(
-    (s1: A, s2: SetStateAction<A>) => {
-      const _s2 = isSetStateFn(s2) ? s2(s1) : s2;
-      return eq.equals(s1, _s2) ? s1 : _s2;
+    (prev: A, ss: SetStateAction<A>) => {
+      const next = isSetter(ss) ? ss(prev) : ss;
+      return eq.equals(prev, next) ? prev : next;
     },
     initState
   );
 
-export const useStableO = <A>(initState: O.Option<A>): [O.Option<A>, Dispatch<SetStateAction<O.Option<A>>>] =>
-  useStable(initState, O.getEq(Eq.eqStrict));
+export const useStableO = <A>(initialState: Option<A>, eq: Eq<A> = Eq.eqStrict): StateTuple<Option<A>> =>
+  useStable(initialState, O.getEq(eq));
 
-export const useStableE = <E, A>(initState: E.Either<E, A>): [E.Either<E, A>, Dispatch<SetStateAction<E.Either<E, A>>>] =>
-  useStable(initState, E.getEq(Eq.eqStrict, Eq.eqStrict));
+export function useStableE<E, A>(initialState: Either<E, A>): StateTuple<Either<E, A>>;
+export function useStableE<E, A>(initialState: Either<E, A>, leftEq: Eq<E>, rightEq: Eq<A>): StateTuple<Either<E, A>>;
+export function useStableE<E, A>(initialState: Either<E, A>, leftEq?: Eq<E>, rightEq?: Eq<A>): StateTuple<Either<E, A>> {
+  if (leftEq && rightEq) return useStable(initialState, E.getEq(leftEq, rightEq));
+  else return useStable(initialState, E.getEq(Eq.eqStrict, Eq.eqStrict));
+}