diff --git a/src/react/useAtom.ts b/src/react/useAtom.ts
index a504a079c8..29784db288 100644
--- a/src/react/useAtom.ts
+++ b/src/react/useAtom.ts
@@ -29,7 +29,9 @@ export function useAtom<Value>(
   options?: Options,
 ): [Awaited<Value>, never]
 
-export function useAtom<AtomType extends WritableAtom<any, any[], any>>(
+export function useAtom<
+  AtomType extends WritableAtom<unknown, never[], unknown>,
+>(
   atom: AtomType,
   options?: Options,
 ): [
@@ -37,7 +39,7 @@ export function useAtom<AtomType extends WritableAtom<any, any[], any>>(
   SetAtom<ExtractAtomArgs<AtomType>, ExtractAtomResult<AtomType>>,
 ]
 
-export function useAtom<AtomType extends Atom<any>>(
+export function useAtom<AtomType extends Atom<unknown>>(
   atom: AtomType,
   options?: Options,
 ): [Awaited<ExtractAtomValue<AtomType>>, never]
diff --git a/src/react/useAtomValue.ts b/src/react/useAtomValue.ts
index 0e3baa1297..8c28b62ebd 100644
--- a/src/react/useAtomValue.ts
+++ b/src/react/useAtomValue.ts
@@ -50,7 +50,7 @@ export function useAtomValue<Value>(
   options?: Options,
 ): Awaited<Value>
 
-export function useAtomValue<AtomType extends Atom<any>>(
+export function useAtomValue<AtomType extends Atom<unknown>>(
   atom: AtomType,
   options?: Options,
 ): Awaited<ExtractAtomValue<AtomType>>
diff --git a/src/react/useSetAtom.ts b/src/react/useSetAtom.ts
index 47a20747cd..167fa068a4 100644
--- a/src/react/useSetAtom.ts
+++ b/src/react/useSetAtom.ts
@@ -14,7 +14,9 @@ export function useSetAtom<Value, Args extends unknown[], Result>(
   options?: Options,
 ): SetAtom<Args, Result>
 
-export function useSetAtom<AtomType extends WritableAtom<any, any[], any>>(
+export function useSetAtom<
+  AtomType extends WritableAtom<unknown, never[], unknown>,
+>(
   atom: AtomType,
   options?: Options,
 ): SetAtom<ExtractAtomArgs<AtomType>, ExtractAtomResult<AtomType>>
diff --git a/src/react/utils/useHydrateAtoms.ts b/src/react/utils/useHydrateAtoms.ts
index a703caa759..dad27cfc28 100644
--- a/src/react/utils/useHydrateAtoms.ts
+++ b/src/react/utils/useHydrateAtoms.ts
@@ -5,11 +5,11 @@ type Store = ReturnType<typeof useStore>
 type Options = Parameters<typeof useStore>[0] & {
   dangerouslyForceHydrate?: boolean
 }
-type AnyWritableAtom = WritableAtom<unknown, any[], any>
+type AnyWritableAtom = WritableAtom<unknown, never[], unknown>
 
 type InferAtomTuples<T> = {
   [K in keyof T]: T[K] extends readonly [infer A, unknown]
-    ? A extends WritableAtom<unknown, infer Args, any>
+    ? A extends WritableAtom<unknown, infer Args, infer _Result>
       ? readonly [A, Args[0]]
       : T[K]
     : never
@@ -43,7 +43,7 @@ export function useHydrateAtoms<
   for (const [atom, value] of values) {
     if (!hydratedSet.has(atom) || options?.dangerouslyForceHydrate) {
       hydratedSet.add(atom)
-      store.set(atom, value)
+      store.set(atom, value as never)
     }
   }
 }
diff --git a/src/vanilla/store.ts b/src/vanilla/store.ts
index 432bf485b6..36fa46cf22 100644
--- a/src/vanilla/store.ts
+++ b/src/vanilla/store.ts
@@ -459,7 +459,7 @@ export const createStore = () => {
       },
     }
     try {
-      const valueOrPromise = atom.read(getter, options as any)
+      const valueOrPromise = atom.read(getter, options as never)
       return setAtomValueOrPromise(atom, valueOrPromise, nextDependencies, () =>
         controller?.abort(),
       )
diff --git a/src/vanilla/typeUtils.ts b/src/vanilla/typeUtils.ts
index 96344e3925..dbec0c1887 100644
--- a/src/vanilla/typeUtils.ts
+++ b/src/vanilla/typeUtils.ts
@@ -9,9 +9,13 @@ export type ExtractAtomValue<AtomType> =
   AtomType extends Atom<infer Value> ? Value : never
 
 export type ExtractAtomArgs<AtomType> =
-  AtomType extends WritableAtom<any, infer Args, any> ? Args : never
+  AtomType extends WritableAtom<unknown, infer Args, infer _Result>
+    ? Args
+    : never
 
 export type ExtractAtomResult<AtomType> =
-  AtomType extends WritableAtom<any, any[], infer Result> ? Result : never
+  AtomType extends WritableAtom<unknown, infer _Args, infer Result>
+    ? Result
+    : never
 
 export type SetStateAction<Value> = ExtractAtomArgs<PrimitiveAtom<Value>>[0]
diff --git a/src/vanilla/utils/atomWithReducer.ts b/src/vanilla/utils/atomWithReducer.ts
index 5799fb2f2a..d7c1ee478f 100644
--- a/src/vanilla/utils/atomWithReducer.ts
+++ b/src/vanilla/utils/atomWithReducer.ts
@@ -15,7 +15,7 @@ export function atomWithReducer<Value, Action>(
   initialValue: Value,
   reducer: (value: Value, action: Action) => Value,
 ) {
-  return atom(initialValue, function (this: any, get, set, action: Action) {
+  return atom(initialValue, function (this: never, get, set, action: Action) {
     set(this, reducer(get(this), action))
   })
 }
diff --git a/src/vanilla/utils/atomWithRefresh.ts b/src/vanilla/utils/atomWithRefresh.ts
index 679d7208b7..626f1a4034 100644
--- a/src/vanilla/utils/atomWithRefresh.ts
+++ b/src/vanilla/utils/atomWithRefresh.ts
@@ -32,7 +32,7 @@ export function atomWithRefresh<Value, Args extends unknown[], Result>(
   return atom(
     (get, options) => {
       get(refreshAtom)
-      return read(get, options as any)
+      return read(get, options as never)
     },
     (get, set, ...args: Args) => {
       if (args.length === 0) {
diff --git a/src/vanilla/utils/atomWithStorage.ts b/src/vanilla/utils/atomWithStorage.ts
index 7b044f41dc..038c76feaf 100644
--- a/src/vanilla/utils/atomWithStorage.ts
+++ b/src/vanilla/utils/atomWithStorage.ts
@@ -73,7 +73,7 @@ export function withStorageValidator<Value>(
         return validate(value)
       },
     }
-    return storage as any // FIXME better way to type this?
+    return storage
   }
 }
 
@@ -113,7 +113,7 @@ export function createJSONStorage<Value>(
   options?: JsonStorageOptions,
 ): AsyncStorage<Value> | SyncStorage<Value> {
   let lastStr: string | undefined
-  let lastValue: any
+  let lastValue: Value
   const storage: AsyncStorage<Value> | SyncStorage<Value> = {
     getItem: (key, initialValue) => {
       const parse = (str: string | null) => {
@@ -130,9 +130,9 @@ export function createJSONStorage<Value>(
       }
       const str = getStringStorage()?.getItem(key) ?? null
       if (isPromiseLike(str)) {
-        return str.then(parse)
+        return str.then(parse) as never
       }
-      return parse(str)
+      return parse(str) as never
     },
     setItem: (key, newValue) =>
       getStringStorage()?.setItem(
@@ -197,7 +197,7 @@ export function atomWithStorage<Value>(
     | SyncStorage<Value>
     | AsyncStorage<Value> = defaultStorage as SyncStorage<Value>,
   options?: { getOnInit?: boolean },
-): any {
+) {
   const getOnInit = options?.getOnInit
   const baseAtom = atom(
     getOnInit
@@ -244,5 +244,5 @@ export function atomWithStorage<Value>(
     },
   )
 
-  return anAtom
+  return anAtom as never
 }
diff --git a/src/vanilla/utils/freezeAtom.ts b/src/vanilla/utils/freezeAtom.ts
index b5c0d05001..6918045760 100644
--- a/src/vanilla/utils/freezeAtom.ts
+++ b/src/vanilla/utils/freezeAtom.ts
@@ -5,33 +5,33 @@ const cache1 = new WeakMap()
 const memo1 = <T>(create: () => T, dep1: object): T =>
   (cache1.has(dep1) ? cache1 : cache1.set(dep1, create())).get(dep1)
 
-const deepFreeze = (obj: any) => {
+const deepFreeze = (obj: unknown) => {
   if (typeof obj !== 'object' || obj === null) return
   Object.freeze(obj)
   const propNames = Object.getOwnPropertyNames(obj)
   for (const name of propNames) {
-    const value = obj[name]
+    const value = (obj as never)[name]
     deepFreeze(value)
   }
   return obj
 }
 
-export function freezeAtom<AtomType extends Atom<any>>(
+export function freezeAtom<AtomType extends Atom<unknown>>(
   anAtom: AtomType,
 ): AtomType {
   return memo1(() => {
-    const frozenAtom: any = atom(
+    const frozenAtom = atom(
       (get) => deepFreeze(get(anAtom)),
-      (_get, set, arg) => set(anAtom as any, arg),
+      (_get, set, arg) => set(anAtom as never, arg),
     )
-    return frozenAtom
+    return frozenAtom as never
   }, anAtom)
 }
 
 export function freezeAtomCreator<
-  CreateAtom extends (...params: any[]) => Atom<any>,
+  CreateAtom extends (...params: never[]) => Atom<unknown>,
 >(createAtom: CreateAtom) {
-  return ((...params: any[]) => {
+  return ((...params: never[]) => {
     const anAtom = createAtom(...params)
     const origRead = anAtom.read
     anAtom.read = function (get, options) {
diff --git a/src/vanilla/utils/splitAtom.ts b/src/vanilla/utils/splitAtom.ts
index 69bcca4c89..7eec2d4ff3 100644
--- a/src/vanilla/utils/splitAtom.ts
+++ b/src/vanilla/utils/splitAtom.ts
@@ -22,7 +22,7 @@ const isWritable = <Value, Args extends unknown[], Result>(
 ): atom is WritableAtom<Value, Args, Result> =>
   !!(atom as WritableAtom<Value, Args, Result>).write
 
-const isFunction = <T>(x: T): x is T & ((...args: any[]) => any) =>
+const isFunction = <T>(x: T): x is T & ((...args: never[]) => unknown) =>
   typeof x === 'function'
 
 type SplitAtomAction<Item> =
@@ -94,7 +94,7 @@ export function splitAtom<Item, Key>(
               }
               throw new Error('splitAtom: index out of bounds for read')
             }
-            return currArr[index] as Item
+            return currArr[index]!
           }
           const write = (
             get: Getter,
@@ -109,7 +109,7 @@ export function splitAtom<Item, Key>(
               throw new Error('splitAtom: index out of bounds for write')
             }
             const nextItem = isFunction(update)
-              ? update(arr[index] as Item)
+              ? (update as (prev: Item) => Item)(arr[index]!)
               : update
             if (!Object.is(arr[index], nextItem)) {
               set(arrAtom as WritableAtom<Item[], [Item[]], void>, [
@@ -190,13 +190,13 @@ export function splitAtom<Item, Key>(
                       set(arrAtom as WritableAtom<Item[], [Item[]], void>, [
                         ...arr.slice(0, index1),
                         ...arr.slice(index1 + 1, index2),
-                        arr[index1] as Item,
+                        arr[index1]!,
                         ...arr.slice(index2),
                       ])
                     } else {
                       set(arrAtom as WritableAtom<Item[], [Item[]], void>, [
                         ...arr.slice(0, index2),
-                        arr[index1] as Item,
+                        arr[index1]!,
                         ...arr.slice(index2, index1),
                         ...arr.slice(index1 + 1),
                       ])
diff --git a/src/vanilla/utils/unwrap.ts b/src/vanilla/utils/unwrap.ts
index c83e4a6f50..fe6269636d 100644
--- a/src/vanilla/utils/unwrap.ts
+++ b/src/vanilla/utils/unwrap.ts
@@ -39,7 +39,7 @@ export function unwrap<Value, PendingValue>(
 
 export function unwrap<Value, Args extends unknown[], Result, PendingValue>(
   anAtom: WritableAtom<Value, Args, Result> | Atom<Value>,
-  fallback: (prev?: Awaited<Value>) => PendingValue = defaultFallback as any,
+  fallback: (prev?: Awaited<Value>) => PendingValue = defaultFallback as never,
 ) {
   return memo2(
     () => {