diff --git a/.changeset/shy-bats-drop.md b/.changeset/shy-bats-drop.md
new file mode 100644
index 0000000..09b5118
--- /dev/null
+++ b/.changeset/shy-bats-drop.md
@@ -0,0 +1,70 @@
+---
+'zustand-x': major
+---
+
+- Added support for Zustand 4.5.0+.
+- `mutative` support. Pass `mutative: true` in the options.
+
+## Migration Instructions
+
+Update the Store Initialization:
+
+1. Replace the old method of initializing the store with the new API.
+
+    ```tsx
+    const store = createStore(
+    () => ({
+        name: 'zustandX',
+        stars: 0,
+    }),
+    {
+        name: 'repo',
+        immer: true,
+    }
+    );
+    ```
+
+    or
+
+    ```tsx
+    const store = createStore({
+        name: 'zustandX',
+        stars: 0,
+    },
+    {
+        name: 'repo',
+        immer: true,
+    }
+    );
+    ```
+
+2. Ensure to pass the configuration object with name and other options as needed.
+3. If your application relies on immer, enable it by passing immer: true in the configuration object.
+
+    ```tsx
+    const store = createStore(
+    () => ({
+        name: 'zustandX',
+        stars: 0,
+    }),
+    {
+        name: 'repo',
+        immer: true,
+    }
+    );
+    ```
+
+4. With the new version, integrating middlewares has also changed. Here's how to upgrade your middleware usage:
+
+    ```tsx
+    const store = createStore(
+    middlewareWrapHere(() => ({
+        name: 'zustandX',
+        stars: 0,
+    })),
+    {
+        name: 'repo',
+        immer: true,
+    }
+    );
+    ```
diff --git a/README.md b/README.md
index 609d158..90c3b61 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,4 @@
-> [!NOTE]
-> `@udecode/zustood` has been renamed to `zustand-x`.
+> [!NOTE] > `@udecode/zustood` has been renamed to `zustand-x`.
 > Using Jotai? See [JotaiX](https://github.com/udecode/jotai-x).
 
 # ZustandX
@@ -21,12 +20,9 @@ code.
 which solves these challenges, so you can focus on your app.
 
 ```bash
-yarn add zustand@4.4.7 zustand-x
+yarn add zustand@latest zustand-x
 ```
 
-> [!IMPORTANT]
-> `zustand` 4.5.0+ is not yet supported. See https://github.com/udecode/zustand-x/issues/79.
-
 Visit [zustand-x.udecode.dev](https://zustand-x.udecode.dev) for the
 API.
 
@@ -36,23 +32,28 @@ API.
 - Modular state management:
   - Derived selectors
   - Derived actions
-- `immer`, `devtools` and `persist` middlewares
+- `immer`, `devtools` , `mutative` and `persist` middlewares
 - Full typescript support
 - `react-tracked` support
 
 ## Create a store
 
 ```ts
-import { createStore } from 'zustand-x'
-
-const repoStore = createStore('repo')({
-  name: 'zustandX',
-  stars: 0,
-  owner: {
-    name: 'someone',
-    email: 'someone@xxx.com',
+import { createStore } from 'zustand-x';
+
+const repoStore = createStore(
+  {
+    name: 'zustandX',
+    stars: 0,
+    owner: {
+      name: 'someone',
+      email: 'someone@xxx.com',
+    },
   },
-})
+  {
+    name: 'repo',
+  }
+);
 ```
 
 - the parameter of the first function is the name of the store, this is
@@ -66,10 +67,10 @@ Note that the zustand store is accessible through:
 
 ```ts
 // hook store
-repoStore.useStore
+repoStore.useStore;
 
 // vanilla store
-repoStore.store
+repoStore.store;
 ```
 
 ## Selectors
@@ -80,8 +81,8 @@ Use the hooks in React components, no providers needed. Select your
 state and the component will re-render on changes. Use the `use` method:
 
 ```ts
-repoStore.use.name()
-repoStore.use.stars()
+repoStore.use.name();
+repoStore.use.stars();
 ```
 
 We recommend using the global hooks (see below) to support ESLint hook
@@ -95,7 +96,7 @@ Use the tracked hooks in React components, no providers needed. Select your
 state and the component will trigger re-renders only if the **accessed property** is changed. Use the `useTracked` method:
 
 ```ts
-repoStore.useTracked.owner()
+repoStore.useTracked.owner();
 ```
 
 ### Getters
@@ -104,14 +105,14 @@ Don't overuse hooks. If you don't need to subscribe to the state, use
 instead the `get` method:
 
 ```ts
-repoStore.get.name()
-repoStore.get.stars()
+repoStore.get.name();
+repoStore.get.stars();
 ```
 
 You can also get the whole state:
 
 ```ts
-repoStore.get.state()
+repoStore.get.state();
 ```
 
 ### Extend selectors
@@ -121,11 +122,16 @@ selectors) for reusability. ZustandX supports extending selectors with
 full typescript support:
 
 ```ts
-const repoStore = createStore('repo')({
-  name: 'zustandX',
-  stars: 0,
-  middlewares: ['immer', 'devtools', 'persist']
-})
+const repoStore = createStore(
+  {
+    name: 'zustandX',
+    stars: 0,
+    middlewares: ['immer', 'devtools', 'persist'],
+  },
+  {
+    name: 'repo',
+  }
+)
   .extendSelectors((state, get, api) => ({
     validName: () => get.name().trim(),
     // other selectors
@@ -134,8 +140,8 @@ const repoStore = createStore('repo')({
     // get.validName is accessible
     title: (prefix: string) =>
       `${prefix + get.validName()} with ${get.stars()} stars`,
-  }))
-  // extend again...
+  }));
+// extend again...
 ```
 
 ## Actions
@@ -143,8 +149,8 @@ const repoStore = createStore('repo')({
 Update your store from anywhere by using the `set` method:
 
 ```ts
-repoStore.set.name('new name')
-repoStore.set.stars(repoStore.get.stars + 1)
+repoStore.set.name('new name');
+repoStore.set.stars(repoStore.get.stars + 1);
 ```
 
 ### Extend actions
@@ -155,6 +161,7 @@ You can update the whole state from your app:
 store.set.state((draft) => {
   draft.name = 'test';
   draft.stars = 1;
+  return draft;
 });
 ```
 
@@ -162,10 +169,15 @@ However, you generally want to create derived actions for reusability.
 ZustandX supports extending actions with full typescript support:
 
 ```ts
-const repoStore = createStore('repo')({
-  name: 'zustandX',
-  stars: 0,
-})
+const repoStore = createStore(
+  {
+    name: 'zustandX',
+    stars: 0,
+  },
+  {
+    name: 'repo',
+  }
+)
   .extendActions((set, get, api) => ({
     validName: (name: string) => {
       set.name(name.trim());
@@ -178,8 +190,8 @@ const repoStore = createStore('repo')({
       set.validName(name);
       set.stars(0);
     },
-  }))
-  // extend again...
+  }));
+// extend again...
 ```
 
 ## Global store
@@ -218,14 +230,8 @@ export const actions = mapValuesKey('set', rootStore);
 ### Global hook selectors
 
 ```ts
-import shallow from 'zustand/shallow'
-
-useStore().repo.name()
-useStore().modal.isOpen()
-
-// prevent unnecessary re-renders
-// more see: https://docs.pmnd.rs/zustand/recipes#selecting-multiple-state-slices
-useStore().repo.middlewares(shallow)
+useStore().repo.name();
+useStore().modal.isOpen();
 ```
 
 ### Global tracked hook selectors
@@ -258,8 +264,8 @@ By using `useStore() or useTrackStore()`, ESLint will correctly lint hook errors
 ### Global getter selectors
 
 ```ts
-store.repo.name()
-store.modal.isOpen()
+store.repo.name();
+store.modal.isOpen();
 ```
 
 These can be used anywhere.
@@ -267,8 +273,8 @@ These can be used anywhere.
 ### Global actions
 
 ```ts
-actions.repo.stars(store.repo.stars + 1)
-actions.modal.open()
+actions.repo.stars(store.repo.stars + 1);
+actions.modal.open();
 ```
 
 These can be used anywhere.
@@ -278,10 +284,11 @@ These can be used anywhere.
 The second parameter of `createStore` is for options:
 
 ```ts
-export interface CreateStoreOptions<T extends State> {
-  middlewares?: any[];
+export interface CreateStoreOptions {
+  name: string;
   devtools?: DevtoolsOptions;
   immer?: ImmerOptions;
+  mutative?: MutativeOptions;
   persist?: PersistOptions;
 }
 ```
@@ -289,13 +296,35 @@ export interface CreateStoreOptions<T extends State> {
 ### Middlewares
 
 ZustandX is using these middlewares:
-- `immer`: required. Autofreeze can be enabled using
-  `immer.enabledAutoFreeze` option.
-- `devtools`: enabled if `devtools.enabled` option is `true`.
+
+- `immer`: enabled if `immer.enabled` option is `true`. `immer` implements from [zustand](https://github.com/pmndrs/zustand?tab=readme-ov-file#immer-middleware).
+- `devtools`: enabled if `devtools.enabled` option is `true`. `devtools` implements `DevtoolsOptions` interface from [zustand](https://github.com/pmndrs/zustand?tab=readme-ov-file#redux-devtools).
+- `mutative`: enabled if `mutative.enabled` option is `true`.
 - `persist`: enabled if `persist.enabled` option is `true`. `persist`
   implements `PersistOptions` interface from
   [zustand](https://github.com/pmndrs/zustand#persist-middleware)
-- custom middlewares can be added using `middlewares` option
+- custom middlewares can be added by wrapping `state initiator`.
+
+```ts
+import { createStore } from 'zustand-x';
+import { combine } from 'zustand/middleware';
+
+const store = createStore<{ name: string; stars?: number }>(
+  combine(
+    () => ({
+      name: 'zustandX',
+    }),
+    () => ({ stars: 0 })
+  ),
+  {
+    name: 'repo',
+    //enables persist middleware
+    persist: {
+      enabled: true,
+    },
+  }
+);
+```
 
 ## Contributing and project organization
 
diff --git a/package.json b/package.json
index 2cc2e58..1f321a4 100644
--- a/package.json
+++ b/package.json
@@ -94,7 +94,6 @@
     "prettier": "^3.1.0",
     "react": "^18.2.0",
     "react-dom": "^18.2.0",
-    "react-is": "18.2.0",
     "react-test-renderer": "18.2.0",
     "rimraf": "^5.0.5",
     "ts-jest": "^29.1.1",
@@ -102,13 +101,15 @@
     "turbo": "^1.11.0",
     "turbowatch": "2.29.4",
     "typedoc": "^0.25.4",
-    "typescript": "5.3.3",
-    "zustand": "^4.4.7"
+    "typescript": "5.3.3"
   },
   "packageManager": "yarn@4.0.2",
   "engines": {
     "node": ">=18.12.0",
     "yarn": ">=1.22.0",
     "npm": "please-use-yarn"
+  },
+  "dependencies": {
+    "zustand": "5.0.2"
   }
 }
diff --git a/packages/zustand-x/README.md b/packages/zustand-x/README.md
index eee3aec..90c3b61 100644
--- a/packages/zustand-x/README.md
+++ b/packages/zustand-x/README.md
@@ -1,5 +1,5 @@
-> [!NOTE]
-> `@udecode/zustood` has been renamed to `zustand-x`.
+> [!NOTE] > `@udecode/zustood` has been renamed to `zustand-x`.
+> Using Jotai? See [JotaiX](https://github.com/udecode/jotai-x).
 
 # ZustandX
 
@@ -12,38 +12,48 @@ and [context loss](https://github.com/facebook/react/issues/13332)
 between mixed renderers. It may be the one state-manager in the React
 space that gets all of these right.
 
-As zustand is un-opinionated by design, it's challenging to find out the
+As `zustand` is un-opinionated by design, it's challenging to find out the
 best patterns to use when creating stores, often leading to boilerplate
 code.
 
-ZustandX, built on top of zustand, is providing a powerful store factory
+`zustand-x`, built on top of `zustand`, is providing a powerful store factory
 which solves these challenges, so you can focus on your app.
 
 ```bash
-yarn add zustand zustand-x
+yarn add zustand@latest zustand-x
 ```
 
 Visit [zustand-x.udecode.dev](https://zustand-x.udecode.dev) for the
 API.
 
-### Why zustand-x over zustand?
+### Why `zustand-x` in addition to `zustand`?
 
 - Much less boilerplate
 - Modular state management:
   - Derived selectors
   - Derived actions
-- `immer`, `devtools` and `persist` middlewares
+- `immer`, `devtools` , `mutative` and `persist` middlewares
 - Full typescript support
+- `react-tracked` support
 
 ## Create a store
 
 ```ts
-import { createStore } from 'zustand-x'
-
-const repoStore = createStore('repo')({
-  name: 'zustandX',
-  stars: 0,
-})
+import { createStore } from 'zustand-x';
+
+const repoStore = createStore(
+  {
+    name: 'zustandX',
+    stars: 0,
+    owner: {
+      name: 'someone',
+      email: 'someone@xxx.com',
+    },
+  },
+  {
+    name: 'repo',
+  }
+);
 ```
 
 - the parameter of the first function is the name of the store, this is
@@ -57,10 +67,10 @@ Note that the zustand store is accessible through:
 
 ```ts
 // hook store
-repoStore.useStore
+repoStore.useStore;
 
 // vanilla store
-repoStore.store
+repoStore.store;
 ```
 
 ## Selectors
@@ -71,27 +81,38 @@ Use the hooks in React components, no providers needed. Select your
 state and the component will re-render on changes. Use the `use` method:
 
 ```ts
-repoStore.use.name()
-repoStore.use.stars()
+repoStore.use.name();
+repoStore.use.stars();
 ```
 
 We recommend using the global hooks (see below) to support ESLint hook
 linting.
 
+### Tracked Hooks
+
+> Big thanks for [react-tracked](https://github.com/dai-shi/react-tracked)
+
+Use the tracked hooks in React components, no providers needed. Select your
+state and the component will trigger re-renders only if the **accessed property** is changed. Use the `useTracked` method:
+
+```ts
+repoStore.useTracked.owner();
+```
+
 ### Getters
 
 Don't overuse hooks. If you don't need to subscribe to the state, use
 instead the `get` method:
 
 ```ts
-repoStore.get.name()
-repoStore.get.stars()
+repoStore.get.name();
+repoStore.get.stars();
 ```
 
 You can also get the whole state:
 
 ```ts
-repoStore.get.state()
+repoStore.get.state();
 ```
 
 ### Extend selectors
@@ -101,20 +122,26 @@ selectors) for reusability. ZustandX supports extending selectors with
 full typescript support:
 
 ```ts
-const repoStore = createStore('repo')({
-  name: 'zustandX',
-  stars: 0,
-})
-  .extendSelectors((set, get, api) => ({
+const repoStore = createStore(
+  {
+    name: 'zustandX',
+    stars: 0,
+    middlewares: ['immer', 'devtools', 'persist'],
+  },
+  {
+    name: 'repo',
+  }
+)
+  .extendSelectors((state, get, api) => ({
     validName: () => get.name().trim(),
     // other selectors
   }))
-  .extendSelectors((set, get, api) => ({
+  .extendSelectors((state, get, api) => ({
     // get.validName is accessible
     title: (prefix: string) =>
       `${prefix + get.validName()} with ${get.stars()} stars`,
-  }))
-  // extend again...
+  }));
+// extend again...
 ```
 
 ## Actions
@@ -122,8 +149,8 @@ const repoStore = createStore('repo')({
 Update your store from anywhere by using the `set` method:
 
 ```ts
-repoStore.set.name('new name')
-repoStore.set.stars(repoStore.get.stars + 1)
+repoStore.set.name('new name');
+repoStore.set.stars(repoStore.get.stars + 1);
 ```
 
 ### Extend actions
@@ -134,6 +161,7 @@ You can update the whole state from your app:
 store.set.state((draft) => {
   draft.name = 'test';
   draft.stars = 1;
+  return draft;
 });
 ```
 
@@ -141,10 +169,15 @@ However, you generally want to create derived actions for reusability.
 ZustandX supports extending actions with full typescript support:
 
 ```ts
-const repoStore = createStore('repo')({
-  name: 'zustandX',
-  stars: 0,
-})
+const repoStore = createStore(
+  {
+    name: 'zustandX',
+    stars: 0,
+  },
+  {
+    name: 'repo',
+  }
+)
   .extendActions((set, get, api) => ({
     validName: (name: string) => {
       set.name(name.trim());
@@ -157,8 +190,8 @@ const repoStore = createStore('repo')({
       set.validName(name);
       set.stars(0);
     },
-  }))
-  // extend again...
+  }));
+// extend again...
 ```
 
 ## Global store
@@ -184,6 +217,9 @@ export const rootStore = {
 // Global hook selectors
 export const useStore = () => mapValuesKey('use', rootStore);
 
+// Global tracked hook selectors
+export const useTrackedStore = () => mapValuesKey('useTracked', rootStore);
+
 // Global getter selectors
 export const store = mapValuesKey('get', rootStore);
 
@@ -194,17 +230,42 @@ export const actions = mapValuesKey('set', rootStore);
 ### Global hook selectors
 
 ```ts
-useStore().repo.name()
-useStore().modal.isOpen()
+useStore().repo.name();
+useStore().modal.isOpen();
 ```
 
-By using `useStore()`, ESLint will correctly lint hook errors.
+### Global tracked hook selectors
+
+```tsx
+// with useTrackStore UserEmail Component will only re-render when accessed property owner.email changed
+const UserEmail = () => {
+  const owner = useTrackedStore().repo.owner()
+  return (
+    <div>
+      <span>User Email: {owner.email}</span>
+    </div>
+  );
+};
+
+// with useStore UserEmail Component re-render when owner changed, but you can pass equalityFn to avoid it.
+const UserEmail = () => {
+  const owner = useStore().repo.owner()
+  // const owner = useStore().repo.owner((prev, next) => prev.email === next.email)
+  return (
+    <div>
+      <span>User Email: {owner.email}</span>
+    </div>
+  );
+};
+```
+
+By using `useStore() or useTrackStore()`, ESLint will correctly lint hook errors.
 
 ### Global getter selectors
 
 ```ts
-store.repo.name()
-store.modal.isOpen()
+store.repo.name();
+store.modal.isOpen();
 ```
 
 These can be used anywhere.
@@ -212,8 +273,8 @@ These can be used anywhere.
 ### Global actions
 
 ```ts
-actions.repo.stars(store.repo.stars + 1)
-actions.modal.open()
+actions.repo.stars(store.repo.stars + 1);
+actions.modal.open();
 ```
 
 These can be used anywhere.
@@ -223,10 +284,11 @@ These can be used anywhere.
 The second parameter of `createStore` is for options:
 
 ```ts
-export interface CreateStoreOptions<T extends State> {
-  middlewares?: any[];
+export interface CreateStoreOptions {
+  name: string;
   devtools?: DevtoolsOptions;
   immer?: ImmerOptions;
+  mutative?: MutativeOptions;
   persist?: PersistOptions;
 }
 ```
@@ -234,13 +296,35 @@ export interface CreateStoreOptions<T extends State> {
 ### Middlewares
 
 ZustandX is using these middlewares:
-- `immer`: required. Autofreeze can be enabled using
-  `immer.enabledAutoFreeze` option.
-- `devtools`: enabled if `devtools.enabled` option is `true`.
+
+- `immer`: enabled if `immer.enabled` option is `true`. `immer` implements from [zustand](https://github.com/pmndrs/zustand?tab=readme-ov-file#immer-middleware).
+- `devtools`: enabled if `devtools.enabled` option is `true`. `devtools` implements `DevtoolsOptions` interface from [zustand](https://github.com/pmndrs/zustand?tab=readme-ov-file#redux-devtools).
+- `mutative`: enabled if `mutative.enabled` option is `true`.
 - `persist`: enabled if `persist.enabled` option is `true`. `persist`
   implements `PersistOptions` interface from
   [zustand](https://github.com/pmndrs/zustand#persist-middleware)
-- custom middlewares can be added using `middlewares` option
+- custom middlewares can be added by wrapping `state initiator`.
+
+```ts
+import { createStore } from 'zustand-x';
+import { combine } from 'zustand/middleware';
+
+const store = createStore<{ name: string; stars?: number }>(
+  combine(
+    () => ({
+      name: 'zustandX',
+    }),
+    () => ({ stars: 0 })
+  ),
+  {
+    name: 'repo',
+    //enables persist middleware
+    persist: {
+      enabled: true,
+    },
+  }
+);
+```
 
 ## Contributing and project organization
 
@@ -260,6 +344,12 @@ your feedback** here. Read our
 [contributing guide](https://github.com/udecode/zustand-x/blob/main/CONTRIBUTING.md)
 to get started.
 
+<p>
+<a href="https://www.netlify.com">
+  <img src="https://www.netlify.com/img/global/badges/netlify-color-accent.svg" alt="Deploys by Netlify" />
+</a>
+</p>
+
 ## License
 
 [MIT](https://github.com/udecode/zustand-x/blob/main/LICENSE)
diff --git a/packages/zustand-x/package.json b/packages/zustand-x/package.json
index b81118d..65417e3 100644
--- a/packages/zustand-x/package.json
+++ b/packages/zustand-x/package.json
@@ -1,6 +1,6 @@
 {
   "name": "zustand-x",
-  "version": "3.0.4",
+  "version": "4.0.0",
   "description": "Zustand store factory for a best-in-class developer experience.",
   "license": "MIT",
   "homepage": "https://zustand-x.udecode.dev",
@@ -40,10 +40,12 @@
   "dependencies": {
     "immer": "^10.0.3",
     "lodash.mapvalues": "^4.6.0",
-    "react-tracked": "^1.7.11"
+    "mutative": "1.1.0",
+    "react-tracked": "^1.7.11",
+    "use-sync-external-store": "1.4.0"
   },
   "peerDependencies": {
-    "zustand": ">=4.3.9"
+    "zustand": ">=5.0.2"
   },
   "keywords": [
     "zustand"
diff --git a/packages/zustand-x/src/createStore.ts b/packages/zustand-x/src/createStore.ts
index 111ea1f..10465c5 100644
--- a/packages/zustand-x/src/createStore.ts
+++ b/packages/zustand-x/src/createStore.ts
@@ -1,128 +1,139 @@
-import { enableMapSet, setAutoFreeze } from 'immer';
 import { createTrackedSelector } from 'react-tracked';
-import {
-  devtools as devtoolsMiddleware,
-  persist as persistMiddleware,
-} from 'zustand/middleware';
-import { useStoreWithEqualityFn } from 'zustand/traditional';
-import { createStore as createVanillaStore } from 'zustand/vanilla';
+import { createWithEqualityFn as createStoreZustand } from 'zustand/traditional';
 
-import { immerMiddleware } from './middlewares/immer.middleware';
 import {
-  ImmerStoreApi,
-  MergeState,
-  SetImmerState,
-  State,
-  StateActions,
-  StateGetters,
-  StoreApi,
-  UseImmerStore,
-} from './types';
-import { CreateStoreOptions } from './types/CreateStoreOptions';
+  devToolsMiddleware,
+  immerMiddleware,
+  persistMiddleware,
+} from './middlewares';
+import { mutativeMiddleware } from './middlewares/mutative';
+import { DefaultMutators, TBaseStoreOptions, TState } from './types';
+import { TMiddleware } from './types/middleware';
 import { generateStateActions } from './utils/generateStateActions';
 import { generateStateGetSelectors } from './utils/generateStateGetSelectors';
 import { generateStateHookSelectors } from './utils/generateStateHookSelectors';
 import { generateStateTrackedHooksSelectors } from './utils/generateStateTrackedHooksSelectors';
-import { pipe } from './utils/pipe';
+import { getOptions } from './utils/helpers';
 import { storeFactory } from './utils/storeFactory';
 
-import type { StateCreator } from 'zustand';
-
-export const createStore =
-  <TName extends string>(name: TName) =>
-  <T extends State>(
-    initialState: T,
-    options: CreateStoreOptions<T> = {}
-  ): StoreApi<TName, T, StateActions<T>> => {
-    const {
-      middlewares: _middlewares = [],
-      devtools,
-      persist,
-      immer,
-    } = options;
-
-    setAutoFreeze(immer?.enabledAutoFreeze ?? false);
-    if (immer?.enableMapSet) {
-      enableMapSet();
-    }
-
-    const middlewares: any[] = [immerMiddleware, ..._middlewares];
-
-    if (persist?.enabled) {
-      const opts = {
-        ...persist,
-        name: persist.name ?? name,
-      };
-
-      middlewares.push((config: any) => persistMiddleware(config, opts));
-    }
-
-    if (devtools?.enabled) {
-      middlewares.push((config: any) =>
-        devtoolsMiddleware(config, { ...devtools, name })
-      );
-    }
-
-    middlewares.push(createVanillaStore);
-
-    // @ts-ignore
-    const pipeMiddlewares = (createState: StateCreator<T, SetImmerState<T>>) =>
-      pipe(createState as any, ...middlewares) as ImmerStoreApi<T>;
-
-    const store = pipeMiddlewares(() => initialState);
-    const useStore = ((selector, equalityFn) =>
-      useStoreWithEqualityFn(
-        store as any,
-        selector as any,
-        equalityFn as any
-      )) as UseImmerStore<T>;
-
-    const stateActions = generateStateActions(store, name);
-
-    const mergeState: MergeState<T> = (state, actionName) => {
-      store.setState(
-        (draft) => {
-          Object.assign(draft as any, state);
-        },
-        actionName || `@@${name}/mergeState`
-      );
-    };
-
-    const setState: SetImmerState<T> = (fn, actionName) => {
-      store.setState(fn, actionName || `@@${name}/setState`);
-    };
-
-    const hookSelectors = generateStateHookSelectors(useStore, store);
-    const getterSelectors = generateStateGetSelectors(store);
-
-    const useTrackedStore = createTrackedSelector(useStore);
-    const trackedHooksSelectors = generateStateTrackedHooksSelectors(
-      useTrackedStore,
-      store
+import type { StateCreator, StoreMutatorIdentifier } from 'zustand';
+
+/**
+ * Creates zustand store with additional selectors and actions.
+ *
+ * @param {StateType | StateCreator<StateType, Mps, Mcs>} initializer - A function or object that initializes the state.
+ * @param {TBaseStoreOptions<StateType>} options - store create options.
+ */
+
+export const createStore = <
+  StateType extends TState,
+  Mps extends [StoreMutatorIdentifier, unknown][] = [],
+  Mcs extends [StoreMutatorIdentifier, unknown][] = [],
+  CreateStoreOptions extends
+    TBaseStoreOptions<StateType> = TBaseStoreOptions<StateType>,
+>(
+  initializer: StateType | StateCreator<StateType, Mps, Mcs>,
+  options: CreateStoreOptions
+) => {
+  type Mutators = [...DefaultMutators<StateType, CreateStoreOptions>, ...Mcs];
+  const {
+    name,
+    devtools: devtoolsOptions,
+    immer: immerOptions,
+    mutative: mutativeOptions,
+    persist: persistOptions,
+    isMutativeState,
+  } = options;
+
+  //current middlewares order devTools(persist(immer(initiator)))
+  const middlewares: TMiddleware[] = [];
+
+  //enable devtools
+  const _devtoolsOptionsInternal = getOptions(devtoolsOptions);
+  if (_devtoolsOptionsInternal.enabled) {
+    middlewares.push((config) =>
+      devToolsMiddleware(config, {
+        ..._devtoolsOptionsInternal,
+        name: _devtoolsOptionsInternal?.name ?? name,
+      })
+    );
+  }
+
+  //enable persist
+  const _persistOptionsInternal = getOptions(persistOptions);
+  if (_persistOptionsInternal.enabled) {
+    middlewares.push((config) =>
+      persistMiddleware(config, {
+        ..._persistOptionsInternal,
+        name: _persistOptionsInternal.name ?? name,
+      })
+    );
+  }
+
+  //enable immer
+  const _immerOptionsInternal = getOptions(immerOptions);
+  if (_immerOptionsInternal.enabled) {
+    middlewares.push((config) =>
+      immerMiddleware(config, _immerOptionsInternal)
     );
+  }
 
-    const api = {
-      get: {
-        state: store.getState,
-        ...getterSelectors,
-      } as StateGetters<T>,
-      name,
-      set: {
-        state: setState,
-        mergeState,
-        ...stateActions,
-      } as StateActions<T>,
-      store,
-      use: hookSelectors,
-      useTracked: trackedHooksSelectors,
-      useStore,
-      useTrackedStore,
-      extendSelectors: () => api as any,
-      extendActions: () => api as any,
-    };
-
-    return storeFactory(api) as StoreApi<TName, T, StateActions<T>>;
+  //enable mutative
+  const _mutativeOptionsInternal = getOptions(mutativeOptions);
+  if (_mutativeOptionsInternal.enabled) {
+    middlewares.push((config) =>
+      mutativeMiddleware(config, _mutativeOptionsInternal)
+    );
+  }
+
+  const stateMutators = middlewares
+    .reverse()
+    .reduce(
+      (y, fn) => fn(y),
+      (typeof initializer === 'function'
+        ? initializer
+        : () => initializer) as StateCreator<StateType>
+    ) as StateCreator<StateType, [], Mutators>;
+
+  const store = createStoreZustand(stateMutators);
+
+  const getterSelectors = generateStateGetSelectors(store);
+
+  const stateActions = generateStateActions(
+    store,
+    name,
+    isMutativeState ||
+      _immerOptionsInternal.enabled ||
+      _mutativeOptionsInternal.enabled
+  );
+
+  const hookSelectors = generateStateHookSelectors(store);
+
+  const useTrackedStore = createTrackedSelector(store);
+  const trackedHooksSelectors = generateStateTrackedHooksSelectors(
+    useTrackedStore,
+    store
+  );
+
+  const apiInternal = {
+    get: {
+      state: store.getState,
+      ...getterSelectors,
+    },
+    name,
+    set: {
+      state: store.setState,
+      ...stateActions,
+    },
+    store,
+    useStore: store,
+    use: hookSelectors,
+    useTracked: trackedHooksSelectors,
+    useTrackedStore,
   };
 
+  return storeFactory(apiInternal);
+};
+
 // Alias {@link createStore}
 export const createZustandStore = createStore;
diff --git a/packages/zustand-x/src/index.ts b/packages/zustand-x/src/index.ts
index e484c0a..f83864c 100644
--- a/packages/zustand-x/src/index.ts
+++ b/packages/zustand-x/src/index.ts
@@ -3,7 +3,5 @@
  */
 
 export * from './createStore';
+export * from './middlewares';
 export * from './types';
-export * from './middlewares/index';
-export * from './types/index';
-export * from './utils/index';
diff --git a/packages/zustand-x/src/middlewares/devtools.ts b/packages/zustand-x/src/middlewares/devtools.ts
new file mode 100644
index 0000000..d31f130
--- /dev/null
+++ b/packages/zustand-x/src/middlewares/devtools.ts
@@ -0,0 +1,7 @@
+import { DevtoolsOptions as _DevtoolsOptions } from 'zustand/middleware';
+
+import { MiddlewareOption } from '../types';
+
+export { devtools as devToolsMiddleware } from 'zustand/middleware';
+
+export type DevtoolsOptions = MiddlewareOption<Partial<_DevtoolsOptions>>;
diff --git a/packages/zustand-x/src/middlewares/immer.middleware.ts b/packages/zustand-x/src/middlewares/immer.middleware.ts
deleted file mode 100644
index 1c63905..0000000
--- a/packages/zustand-x/src/middlewares/immer.middleware.ts
+++ /dev/null
@@ -1,20 +0,0 @@
-import { produce } from 'immer';
-import { StoreApi } from 'zustand';
-
-import { SetImmerState, State, StateCreatorWithDevtools } from '../types';
-
-export const immerMiddleware =
-  <T extends State>(
-    config: StateCreatorWithDevtools<
-      T,
-      SetImmerState<T>,
-      StoreApi<T>['getState']
-    >
-  ): StateCreatorWithDevtools<T> =>
-  (set, get, api) => {
-    const setState: SetImmerState<T> = (fn, actionName) =>
-      set(produce<T>(fn), true, actionName);
-    api.setState = setState as any;
-
-    return config(setState, get, api);
-  };
diff --git a/packages/zustand-x/src/middlewares/immer.ts b/packages/zustand-x/src/middlewares/immer.ts
new file mode 100644
index 0000000..66482cd
--- /dev/null
+++ b/packages/zustand-x/src/middlewares/immer.ts
@@ -0,0 +1,100 @@
+import { produce } from 'immer';
+
+import type { MiddlewareOption } from '../types';
+import type { Draft } from 'immer';
+import type { StateCreator, StoreMutatorIdentifier } from 'zustand';
+
+declare module 'zustand' {
+  // eslint-disable-next-line @typescript-eslint/no-unused-vars
+  interface StoreMutators<S, A> {
+    ['zustand/immer-x']: WithImmer<S>;
+  }
+}
+
+type Write<T, U> = Omit<T, keyof U> & U;
+type SkipTwo<T> = T extends { length: 0 }
+  ? []
+  : T extends { length: 1 }
+    ? []
+    : T extends { length: 0 | 1 }
+      ? []
+      : T extends [unknown, unknown, ...infer A]
+        ? A
+        : T extends [unknown, unknown?, ...infer A]
+          ? A
+          : T extends [unknown?, unknown?, ...infer A]
+            ? A
+            : never;
+
+type SetStateType<T extends unknown[]> = Exclude<T[0], (...args: any[]) => any>;
+
+type WithImmer<S> = Write<S, StoreImmer<S>>;
+
+type StoreImmer<S> = S extends {
+  setState: infer SetState;
+}
+  ? SetState extends {
+      (...a: infer A1): infer Sr1;
+      (...a: infer A2): infer Sr2;
+    }
+    ? {
+        // Ideally, we would want to infer the `nextStateOrUpdater` `T` type from the
+        // `A1` type, but this is infeasible since it is an intersection with
+        // a partial type.
+        setState(
+          nextStateOrUpdater:
+            | SetStateType<A1>
+            | Partial<SetStateType<A1>>
+            | ((state: Draft<Partial<SetStateType<A1>>>) => void),
+          shouldReplace?: true,
+          ...a: SkipTwo<A1>
+        ): Sr1;
+        setState(
+          nextStateOrUpdater:
+            | SetStateType<A2>
+            | ((state: Draft<Partial<SetStateType<A2>>>) => void),
+          shouldReplace: false,
+          ...a: SkipTwo<A2>
+        ): Sr2;
+      }
+    : never
+  : never;
+
+type Options = {
+  enableMapSet?: boolean;
+  enabledAutoFreeze?: boolean;
+};
+type ImmerImpl = <T>(
+  storeInitializer: StateCreator<T, [], []>,
+  options?: Options
+) => StateCreator<T, [], []>;
+
+const immerImpl: ImmerImpl = (initializer) => (set, get, store) => {
+  type T = ReturnType<typeof initializer>;
+
+  store.setState = (updater, replace, ...a) => {
+    const nextState = (
+      typeof updater === 'function' ? produce(updater as any) : updater
+    ) as ((s: T) => T) | T | Partial<T>;
+
+    return set(
+      nextState,
+      typeof replace === 'boolean' ? (replace as any) : true,
+      ...a
+    );
+  };
+
+  return initializer(store.setState, get, store);
+};
+
+type Immer = <
+  T,
+  Mps extends [StoreMutatorIdentifier, unknown][] = [],
+  Mcs extends [StoreMutatorIdentifier, unknown][] = [],
+>(
+  initializer: StateCreator<T, [...Mps, ['zustand/immer-x', never]], Mcs>,
+  options?: Options
+) => StateCreator<T, Mps, [['zustand/immer-x', never], ...Mcs]>;
+export const immerMiddleware = immerImpl as unknown as Immer;
+
+export type ImmerOptions = MiddlewareOption<Options>;
diff --git a/packages/zustand-x/src/middlewares/index.ts b/packages/zustand-x/src/middlewares/index.ts
index 5cc309c..c5af8ad 100644
--- a/packages/zustand-x/src/middlewares/index.ts
+++ b/packages/zustand-x/src/middlewares/index.ts
@@ -2,4 +2,6 @@
  * @file Automatically generated by barrelsby.
  */
 
-export * from './immer.middleware';
+export * from './devtools';
+export * from './immer';
+export * from './persist';
diff --git a/packages/zustand-x/src/middlewares/mutative.ts b/packages/zustand-x/src/middlewares/mutative.ts
new file mode 100644
index 0000000..b62d9eb
--- /dev/null
+++ b/packages/zustand-x/src/middlewares/mutative.ts
@@ -0,0 +1,107 @@
+import { create, PatchesOptions } from 'mutative';
+
+import type { MiddlewareOption } from '../types';
+import type { Options as _MutativeOptions, Draft } from 'mutative';
+import type { StateCreator, StoreMutatorIdentifier } from 'zustand';
+
+declare module 'zustand/vanilla' {
+  // eslint-disable-next-line @typescript-eslint/no-unused-vars
+  interface StoreMutators<S, A> {
+    ['zustand/mutative-x']: WithMutative<S>;
+  }
+}
+
+type SetStateType<T extends unknown[]> = Exclude<T[0], (...args: any[]) => any>;
+type WithMutative<S> = Write<S, StoreMutative<S>>;
+
+type Write<T, U> = Omit<T, keyof U> & U;
+type SkipTwo<T> = T extends { length: 0 }
+  ? []
+  : T extends { length: 1 }
+    ? []
+    : T extends { length: 0 | 1 }
+      ? []
+      : T extends [unknown, unknown, ...infer A]
+        ? A
+        : T extends [unknown, unknown?, ...infer A]
+          ? A
+          : T extends [unknown?, unknown?, ...infer A]
+            ? A
+            : never;
+type StoreMutative<S> = S extends {
+  setState: infer SetState;
+}
+  ? SetState extends {
+      (...a: infer A1): infer Sr1;
+      (...a: infer A2): infer Sr2;
+    }
+    ? {
+        // Ideally, we would want to infer the `nextStateOrUpdater` `T` type from the
+        // `A1` type, but this is infeasible since it is an intersection with
+        // a partial type.
+        setState(
+          nextStateOrUpdater:
+            | SetStateType<A1>
+            | Partial<SetStateType<A1>>
+            | ((state: Draft<Partial<SetStateType<A1>>>) => void),
+          shouldReplace?: true,
+          ...a: SkipTwo<A1>
+        ): Sr1;
+        setState(
+          nextStateOrUpdater:
+            | SetStateType<A2>
+            | ((state: Draft<Partial<SetStateType<A2>>>) => void),
+          shouldReplace: false,
+          ...a: SkipTwo<A2>
+        ): Sr2;
+      }
+    : never
+  : never;
+
+type Options<O extends PatchesOptions, F extends boolean> = Omit<
+  _MutativeOptions<O, F>,
+  'enablePatches'
+>;
+type MutativeImpl = <T, F extends boolean = false>(
+  storeInitializer: StateCreator<T, [], []>,
+  options?: Options<false, F>
+) => StateCreator<T, [], []>;
+
+const mutativeImpl: MutativeImpl =
+  (initializer, options) => (set, get, store) => {
+    type T = ReturnType<typeof initializer>;
+
+    store.setState = (updater, replace, ...a) => {
+      const nextState = (
+        typeof updater === 'function'
+          ? create(
+              updater as any,
+              options ? { ...options, enablePatches: false } : options
+            )
+          : updater
+      ) as ((s: T) => T) | T | Partial<T>;
+
+      return set(
+        nextState as any,
+        typeof replace === 'boolean' ? (replace as any) : true,
+        ...a
+      );
+    };
+
+    return initializer(store.setState, get, store);
+  };
+
+type Mutative = <
+  T,
+  Mps extends [StoreMutatorIdentifier, unknown][] = [],
+  Mcs extends [StoreMutatorIdentifier, unknown][] = [],
+  F extends boolean = false,
+>(
+  initializer: StateCreator<T, [...Mps, ['zustand/mutative-x', never]], Mcs>,
+  options?: Options<false, F>
+) => StateCreator<T, Mps, [['zustand/mutative-x', never], ...Mcs]>;
+
+export const mutativeMiddleware = mutativeImpl as unknown as Mutative;
+export type MutativeOptions<F extends boolean = false> = MiddlewareOption<
+  Options<false, F>
+>;
diff --git a/packages/zustand-x/src/middlewares/persist.ts b/packages/zustand-x/src/middlewares/persist.ts
new file mode 100644
index 0000000..122141d
--- /dev/null
+++ b/packages/zustand-x/src/middlewares/persist.ts
@@ -0,0 +1,8 @@
+import { PersistOptions as _PersistOptions } from 'zustand/middleware';
+
+import { MiddlewareOption } from '../types';
+
+export { persist as persistMiddleware } from 'zustand/middleware';
+export type PersistOptions<StateType> = MiddlewareOption<
+  Partial<_PersistOptions<StateType>>
+>;
diff --git a/packages/zustand-x/src/createStore.spec.ts b/packages/zustand-x/src/tests/createStore.spec.ts
similarity index 64%
rename from packages/zustand-x/src/createStore.spec.ts
rename to packages/zustand-x/src/tests/createStore.spec.ts
index ee941de..a657b73 100644
--- a/packages/zustand-x/src/createStore.spec.ts
+++ b/packages/zustand-x/src/tests/createStore.spec.ts
@@ -1,11 +1,18 @@
-import { createStore } from './createStore';
+import { devtools } from 'zustand/middleware';
+
+import { createStore } from '../createStore';
 
 describe('zustandX', () => {
   describe('when get', () => {
-    const store = createStore('repo')({
-      name: 'zustandX',
-      stars: 0,
-    });
+    const store = createStore(
+      devtools(() => ({
+        name: 'zustandX',
+        stars: 0,
+      })),
+      {
+        name: 'repo',
+      }
+    );
 
     it('should be', () => {
       expect(store.get.name()).toEqual('zustandX');
@@ -13,10 +20,15 @@ describe('zustandX', () => {
   });
 
   describe('when extending actions', () => {
-    const store = createStore('repo')({
-      name: 'zustandX',
-      stars: 0,
-    })
+    const store = createStore(
+      {
+        name: 'zustandX',
+        stars: 0,
+      },
+      {
+        name: 'repo',
+      }
+    )
       .extendActions((set, get, api) => ({
         validName: (name: string) => {
           set.name(name.trim());
@@ -40,10 +52,15 @@ describe('zustandX', () => {
   });
 
   describe('when extending selectors', () => {
-    const store = createStore('repo')({
-      name: 'zustandX ',
-      stars: 0,
-    })
+    const store = createStore(
+      {
+        name: 'zustandX ',
+        stars: 0,
+      },
+      {
+        name: 'repo',
+      }
+    )
       .extendSelectors((set, get, api) => ({
         validName: () => get.name().trim(),
       }))
@@ -60,15 +77,21 @@ describe('zustandX', () => {
   });
 
   describe('when set.state', () => {
-    const store = createStore('repo')({
-      name: 'zustandX',
-      stars: 0,
-    });
+    const store = createStore(
+      {
+        name: 'zustandX',
+        stars: 0,
+      },
+      {
+        name: 'repo',
+      }
+    );
 
     it('should be', () => {
       store.set.state((draft) => {
         draft.name = 'test';
         draft.stars = 1;
+        return draft;
       });
 
       expect(store.get.state()).toEqual({
@@ -79,13 +102,18 @@ describe('zustandX', () => {
 
     describe('deletes a property', () => {
       it('should delete that property', () => {
-        const repoStore = createStore('repo')<{
-          name?: string;
-          stars: number;
-        }>({
-          name: 'zustandX',
-          stars: 0,
-        });
+        const repoStore = createStore(
+          {
+            name: 'zustandX',
+            stars: 0,
+          },
+          {
+            name: 'repo',
+            immer: {
+              enabled: true,
+            },
+          }
+        );
 
         repoStore.set.state((draft) => {
           delete draft.name;
diff --git a/packages/zustand-x/src/useStore.spec.tsx b/packages/zustand-x/src/tests/useStore.spec.tsx
similarity index 85%
rename from packages/zustand-x/src/useStore.spec.tsx
rename to packages/zustand-x/src/tests/useStore.spec.tsx
index 63d292a..a52618c 100644
--- a/packages/zustand-x/src/useStore.spec.tsx
+++ b/packages/zustand-x/src/tests/useStore.spec.tsx
@@ -3,7 +3,7 @@ import '@testing-library/jest-dom';
 import React from 'react';
 import { act, render, renderHook } from '@testing-library/react';
 
-import { createZustandStore } from './createStore';
+import { createZustandStore } from '../createStore';
 
 describe('createAtomStore', () => {
   describe('single provider', () => {
@@ -20,7 +20,10 @@ describe('createAtomStore', () => {
       age: INITIAL_AGE,
     };
 
-    const store = createZustandStore('myTestStore')(initialTestStoreValue);
+    const store = createZustandStore(() => initialTestStoreValue, {
+      name: 'myTestStore',
+      immer: true,
+    });
     const useSelectors = () => store.use;
     const actions = store.set;
     const selectors = store.get;
@@ -42,7 +45,6 @@ describe('createAtomStore', () => {
         <button
           type="button"
           onClick={() => {
-            selectors.age();
             actions.age(selectors.age() + 1);
           }}
         >
@@ -93,11 +95,20 @@ describe('createAtomStore', () => {
       age: 72,
     };
 
-    const myFirstTestStoreStore = createZustandStore('myFirstTestStore')(
-      initialFirstTestStoreValue
+    const myFirstTestStoreStore = createZustandStore(
+      () => initialFirstTestStoreValue,
+      {
+        name: 'myFirstTestStore',
+        persist: {
+          enabled: true,
+        },
+      }
     );
-    const mySecondTestStoreStore = createZustandStore('mySecondTestStore')(
-      initialSecondTestStoreValue
+    const mySecondTestStoreStore = createZustandStore(
+      () => initialSecondTestStoreValue,
+      {
+        name: 'mySecondTestStore',
+      }
     );
 
     const FirstReadOnlyConsumer = () => {
diff --git a/packages/zustand-x/src/types.ts b/packages/zustand-x/src/types.ts
deleted file mode 100644
index 6fbaac1..0000000
--- a/packages/zustand-x/src/types.ts
+++ /dev/null
@@ -1,144 +0,0 @@
-import { Draft } from 'immer';
-import { StoreApi as RawStoreApi, UseBoundStore } from 'zustand';
-import { NamedSet } from 'zustand/middleware';
-import { GetState, StateSelector } from 'zustand/vanilla';
-
-export type StoreApiGet<
-  T extends State = {},
-  TSelectors = {},
-> = StateGetters<T> & TSelectors;
-export type StoreApiUse<T extends State = {}, TSelectors = {}> = GetRecord<T> &
-  TSelectors;
-export type StoreApiUseTracked<
-  T extends State = {},
-  TSelectors = {},
-> = GetRecord<T> & TSelectors;
-export type StoreApiSet<TActions = {}> = TActions;
-
-export type StoreApi<
-  TName extends string,
-  T extends State = {},
-  TActions = {},
-  TSelectors = {},
-> = {
-  get: StoreApiGet<T, TSelectors>;
-  name: TName;
-  set: StoreApiSet<TActions>;
-  store: ImmerStoreApi<T>;
-  use: StoreApiUse<T, TSelectors>;
-  useTracked: StoreApiUseTracked<T, TSelectors>;
-  useStore: UseImmerStore<T>;
-  useTrackedStore: () => T;
-
-  extendSelectors<SB extends SelectorBuilder<TName, T, TActions, TSelectors>>(
-    builder: SB
-  ): StoreApi<
-    TName,
-    T,
-    StateActions<T> & TActions,
-    TSelectors & ReturnType<SB>
-  >;
-
-  extendActions<
-    AB extends ActionBuilder<TName, T, StateActions<T> & TActions, TSelectors>,
-  >(
-    builder: AB
-  ): StoreApi<
-    TName,
-    T,
-    StateActions<T> & TActions & ReturnType<AB>,
-    TSelectors
-  >;
-
-  // extendActionsMerge<AB extends ActionBuilder<TName, T, StateActions<T> & TActions>>(
-  //     builder: AB
-  //   ): StoreApi<
-  //     TName,
-  //     T,
-  //     StateActions<T> & TActions & ReturnType<AB>,
-  //     TSelectors
-  //   >;
-};
-
-export type State = unknown;
-export type EqualityChecker<T> = (state: T, newState: T) => boolean;
-
-export type MergeState<T extends State> = (
-  state: Partial<T>,
-  actionName?: string
-) => void;
-
-export type StateActions<T extends State> = SetRecord<T> & {
-  state: SetImmerState<T>;
-  mergeState: MergeState<T>;
-};
-export type StateGetters<T extends State> = GetRecord<T> & {
-  state: GetState<T>;
-};
-
-export type SelectorRecord<T> = Record<string, (state: T) => any>;
-
-export type SelectorBuilder<
-  TName extends string,
-  T extends State,
-  TActions = {},
-  TSelectors = {},
-> = (
-  state: T,
-  get: StoreApiGet<T, TSelectors>,
-  api: StoreApi<TName, T, TActions, TSelectors>
-) => Record<string, (...args: any[]) => any>;
-
-export type ActionBuilder<
-  TName extends string,
-  T extends State,
-  TActions = {},
-  TSelectors = {},
-> = (
-  set: StoreApiSet<TActions>,
-  get: StoreApiGet<T, TSelectors>,
-  api: StoreApi<TName, T, TActions, TSelectors>
-) => any;
-
-export type SetImmerState<T> = (
-  fn: (draft: Draft<T>) => void,
-  actionName?: string
-) => void;
-
-export type StateCreatorWithDevtools<
-  T extends State,
-  CustomSetState = NamedSet<T>,
-  CustomGetState = GetState<T>,
-  CustomStoreApi extends RawStoreApi<T> = RawStoreApi<T>,
-> = (set: CustomSetState, get: CustomGetState, api: CustomStoreApi) => T;
-
-export interface ImmerStoreApi<T extends State>
-  extends Omit<RawStoreApi<T>, 'setState'> {
-  setState: SetImmerState<T>;
-}
-
-export interface UseImmerStore<T extends State>
-  extends Omit<UseBoundStore<RawStoreApi<T>>, 'setState'> {
-  (): T;
-
-  <U>(selector: StateSelector<T, U>, equalityFn?: EqualityChecker<U>): U;
-
-  setState: SetImmerState<T>;
-}
-
-export type GetRecord<O> = {
-  [K in keyof O]: (equalityFn?: EqualityChecker<O[K]>) => O[K];
-};
-export type SetRecord<O> = {
-  [K in keyof O]: (value: O[K]) => void;
-};
-
-// export type UseRecord<O> = {
-//   [K in keyof O as `use${Capitalize<string & K>}`]: () => O[K];
-// };
-// export type GetRecord<O> = {
-//   [K in keyof O as `get${Capitalize<string & K>}`]: () => O[K];
-// };
-// export type SetRecord<O> = {
-//   [K in keyof O as `set${Capitalize<string & K>}`]: (value: O[K]) => void;
-// };
diff --git a/packages/zustand-x/src/types/CreateStoreOptions.ts b/packages/zustand-x/src/types/CreateStoreOptions.ts
deleted file mode 100644
index a19fe5e..0000000
--- a/packages/zustand-x/src/types/CreateStoreOptions.ts
+++ /dev/null
@@ -1,27 +0,0 @@
-import { DevtoolsOptions } from 'zustand/middleware';
-
-import { State } from '../types';
-import { ImmerOptions } from './ImmerOptions';
-import { PersistOptions } from './PersistOptions';
-
-export interface CreateStoreOptions<T extends State> {
-  /**
-   * Zustand middlewares.
-   */
-  middlewares?: any[];
-
-  /**
-   * Devtools middleware options.
-   */
-  devtools?: DevtoolsOptions;
-
-  /**
-   * Immer middleware options.
-   */
-  immer?: ImmerOptions;
-
-  /**
-   * Persist middleware options.
-   */
-  persist?: PersistOptions<Partial<T>>;
-}
diff --git a/packages/zustand-x/src/types/ImmerOptions.ts b/packages/zustand-x/src/types/ImmerOptions.ts
deleted file mode 100644
index 8ec8d72..0000000
--- a/packages/zustand-x/src/types/ImmerOptions.ts
+++ /dev/null
@@ -1,7 +0,0 @@
-export interface ImmerOptions {
-  /**
-   * Enable autofreeze.
-   */
-  enabledAutoFreeze?: boolean;
-  enableMapSet?: boolean;
-}
diff --git a/packages/zustand-x/src/types/PersistOptions.ts b/packages/zustand-x/src/types/PersistOptions.ts
deleted file mode 100644
index b8370be..0000000
--- a/packages/zustand-x/src/types/PersistOptions.ts
+++ /dev/null
@@ -1,14 +0,0 @@
-import { PersistOptions as _PersistOptions } from 'zustand/middleware';
-
-export type StateStorage = {
-  getItem: (name: string) => string | null | Promise<string | null>;
-  setItem: (name: string, value: string) => void | Promise<void>;
-};
-export type StorageValue<S> = { state: S; version: number };
-
-type PersistOptionsWithoutName<S> = Omit<_PersistOptions<S>, 'name'>;
-
-export type PersistOptions<S> = PersistOptionsWithoutName<S> & {
-  enabled?: boolean;
-  name?: string;
-};
diff --git a/packages/zustand-x/src/types/global.d.ts b/packages/zustand-x/src/types/global.d.ts
new file mode 100644
index 0000000..9326a4a
--- /dev/null
+++ b/packages/zustand-x/src/types/global.d.ts
@@ -0,0 +1,13 @@
+import { StateCreator, StoreMutatorIdentifier } from 'zustand';
+
+declare module 'zustand/middleware' {
+  type Devtools = <
+    T,
+    Mps extends [StoreMutatorIdentifier, unknown][] = [],
+    Mcs extends [StoreMutatorIdentifier, unknown][] = [],
+  >(
+    initializer: StateCreator<T, [...Mps, ['zustand/devtools', never]], Mcs>,
+    devtoolsOptions?: DevtoolsOptions
+  ) => StateCreator<T, Mps, [['zustand/devtools', never], ...Mcs]>;
+  declare const devtools: Devtools;
+}
diff --git a/packages/zustand-x/src/types/index.ts b/packages/zustand-x/src/types/index.ts
index 202c65d..e35d800 100644
--- a/packages/zustand-x/src/types/index.ts
+++ b/packages/zustand-x/src/types/index.ts
@@ -2,6 +2,8 @@
  * @file Automatically generated by barrelsby.
  */
 
-export * from './CreateStoreOptions';
-export * from './ImmerOptions';
-export * from './PersistOptions';
+export * from './middleware';
+export * from './mutator';
+export * from './options';
+export * from './store';
+export * from './utils';
diff --git a/packages/zustand-x/src/types/middleware.ts b/packages/zustand-x/src/types/middleware.ts
new file mode 100644
index 0000000..f95af3e
--- /dev/null
+++ b/packages/zustand-x/src/types/middleware.ts
@@ -0,0 +1,23 @@
+import { StateCreator, StoreMutatorIdentifier } from 'zustand';
+
+// Helper type to extract mutator type from a middleware
+export type TExtractMutatorFromMiddleware<M> = M extends (
+  initializer: StateCreator<any, any, any, any>,
+  ...rest: any[]
+) => StateCreator<any, any, infer Mutators, any>
+  ? Mutators extends [infer Mutator, ...infer Rest]
+    ? Mutator extends [StoreMutatorIdentifier, unknown]
+      ? Mutator
+      : never
+    : never
+  : never;
+
+// Recursive flattening for middleware tuples
+export type TFlattenMiddlewares<Middlewares extends TMiddleware[]> = {
+  [K in keyof Middlewares]: TExtractMutatorFromMiddleware<Middlewares[K]>;
+};
+
+export type TMiddleware = (
+  initializer: StateCreator<any, any, any>,
+  ...rest: any[]
+) => StateCreator<any, any, any>;
diff --git a/packages/zustand-x/src/types/mutator.ts b/packages/zustand-x/src/types/mutator.ts
new file mode 100644
index 0000000..976e5ee
--- /dev/null
+++ b/packages/zustand-x/src/types/mutator.ts
@@ -0,0 +1,55 @@
+import {
+  devToolsMiddleware,
+  immerMiddleware,
+  persistMiddleware,
+} from '../middlewares';
+import { mutativeMiddleware } from '../middlewares/mutative';
+import { TFlattenMiddlewares, TMiddleware } from './middleware';
+import { TBaseStoreOptions } from './options';
+import { RemoveNever, TState } from './utils';
+
+type ConditionalMiddleware<
+  T,
+  Middleware extends TMiddleware,
+  IsDefault extends boolean = false,
+> = T extends
+  | {
+      enabled: true;
+    }
+  | true
+  ? Middleware
+  : IsDefault extends true
+    ? T extends
+        | {
+            enabled: false;
+          }
+        | false
+      ? never
+      : Middleware
+    : never;
+
+export type DefaultMutators<
+  StateType extends TState,
+  CreateStoreOptions extends TBaseStoreOptions<StateType>,
+> = RemoveNever<
+  TFlattenMiddlewares<
+    [
+      ConditionalMiddleware<
+        CreateStoreOptions['devtools'],
+        typeof devToolsMiddleware
+      >,
+      ConditionalMiddleware<
+        CreateStoreOptions['persist'],
+        typeof persistMiddleware<StateType>
+      >,
+      ConditionalMiddleware<
+        CreateStoreOptions['immer'],
+        typeof immerMiddleware
+      >,
+      ConditionalMiddleware<
+        CreateStoreOptions['mutative'],
+        typeof mutativeMiddleware
+      >,
+    ]
+  >
+>;
diff --git a/packages/zustand-x/src/types/options.ts b/packages/zustand-x/src/types/options.ts
new file mode 100644
index 0000000..2b8e37c
--- /dev/null
+++ b/packages/zustand-x/src/types/options.ts
@@ -0,0 +1,37 @@
+import { DevtoolsOptions, ImmerOptions, PersistOptions } from '../middlewares';
+import { MutativeOptions } from './../middlewares/mutative';
+import { TState } from './utils';
+
+export type TBaseStoreOptions<StateType extends TState> = {
+  name: string;
+
+  /**
+   * Devtools middleware options.
+   * https://zustand.docs.pmnd.rs/middlewares/devtools
+   */
+  devtools?: DevtoolsOptions;
+
+  /**
+   * Immer middleware options.
+   * https://zustand.docs.pmnd.rs/middlewares/immer
+   */
+  immer?: ImmerOptions;
+
+  /**
+   * Mutative middleware options.
+   * https://www.npmjs.com/package/mutative
+   */
+  mutative?: MutativeOptions;
+
+  /**
+   * Persist middleware options.
+   * https://zustand.docs.pmnd.rs/middlewares/persist
+   */
+  persist?: PersistOptions<StateType>;
+
+  /**
+   * If you're using custom middleware like `immer` and `mutative`
+   * and no need to return new state then set this value to `true`.
+   */
+  isMutativeState?: boolean;
+};
diff --git a/packages/zustand-x/src/types/store.ts b/packages/zustand-x/src/types/store.ts
new file mode 100644
index 0000000..7c16b18
--- /dev/null
+++ b/packages/zustand-x/src/types/store.ts
@@ -0,0 +1,106 @@
+import { StoreMutatorIdentifier } from 'zustand';
+
+import {
+  TCreatedStoreMutateType,
+  TCreatedStoreType,
+  TGetStoreEqualityRecord,
+  TGetStoreRecord,
+  TSetStoreRecord,
+  TState,
+} from './utils';
+
+export type TSelectorBuilder<
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+  TActions = {},
+  TSelectors = {},
+> = (
+  set: TStoreApiSet<StateType, Mutators, TActions>,
+  get: TStoreApiGet<StateType, Mutators, TSelectors>,
+  api: TStateApiForBuilder<StateType, Mutators, TActions, TSelectors>
+) => Record<string, any>;
+
+export type TActionBuilder<
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+  TActions = {},
+  TSelectors = {},
+> = (
+  set: TStoreApiSet<StateType, Mutators, TActions>,
+  get: TStoreApiGet<StateType, Mutators, TSelectors>,
+  api: TStateApiForBuilder<StateType, Mutators, TActions, TSelectors>
+) => Record<string, any>;
+
+export type TStoreApiGet<
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+  TSelectors = {},
+> = TGetStoreRecord<StateType> &
+  TSelectors & {
+    state: TCreatedStoreType<StateType, Mutators>['getState'];
+  };
+
+export type TStoreApiSet<
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+  TActions = {},
+> = TSetStoreRecord<StateType> &
+  TActions & {
+    state: TCreatedStoreType<StateType, Mutators>['setState'];
+  };
+
+export type TStateApi<
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+  TActions = {},
+  TSelectors = {},
+> = {
+  name: string;
+  get: TStoreApiGet<StateType, Mutators, TSelectors>;
+  set: TStoreApiSet<StateType, Mutators, TActions>;
+  store: TCreatedStoreMutateType<StateType, Mutators>;
+  useStore: TCreatedStoreType<StateType, Mutators>;
+  use: TGetStoreEqualityRecord<StateType> & TSelectors;
+  useTracked: TGetStoreRecord<StateType> & TSelectors;
+  useTrackedStore: () => StateType;
+  extendSelectors<
+    SelectorBuilder extends TSelectorBuilder<
+      StateType,
+      Mutators,
+      TActions,
+      TSelectors
+    >,
+  >(
+    builder: SelectorBuilder
+  ): TStateApi<
+    StateType,
+    Mutators,
+    TStoreApiSet<StateType, Mutators, TActions>,
+    TSelectors & ReturnType<SelectorBuilder>
+  >;
+  extendActions<
+    ActionBuilder extends TActionBuilder<
+      StateType,
+      Mutators,
+      TActions,
+      TSelectors
+    >,
+  >(
+    builder: ActionBuilder
+  ): TStateApi<
+    StateType,
+    Mutators,
+    TActions & ReturnType<ActionBuilder>,
+    TStoreApiGet<StateType, Mutators, TSelectors>
+  >;
+};
+
+export type TStateApiForBuilder<
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+  TActions = {},
+  TSelectors = {},
+> = Omit<
+  TStateApi<StateType, Mutators, TActions, TSelectors>,
+  'extendActions' | 'extendSelectors'
+>;
diff --git a/packages/zustand-x/src/types/utils.ts b/packages/zustand-x/src/types/utils.ts
new file mode 100644
index 0000000..6292f82
--- /dev/null
+++ b/packages/zustand-x/src/types/utils.ts
@@ -0,0 +1,47 @@
+import { Mutate, StoreApi, StoreMutatorIdentifier } from 'zustand';
+import { UseBoundStoreWithEqualityFn } from 'zustand/traditional';
+
+export type TState = object;
+
+export type TEqualityChecker<StateType> = (
+  state: StateType,
+  newState: StateType
+) => boolean;
+
+export type TGetStoreRecord<O> = {
+  [K in keyof O]: () => O[K];
+};
+export type TGetStoreEqualityRecord<O> = {
+  [K in keyof O]: (equalityFn?: TEqualityChecker<O[K]>) => O[K];
+};
+export type TSetStoreRecord<O> = {
+  [K in keyof O]: (value: O[K]) => void;
+};
+export type TUseStoreSelectorType<
+  StateType extends TState,
+  FilteredStateType = unknown,
+> = (state: StateType) => FilteredStateType;
+
+export type TCreatedStoreMutateType<
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+> = Mutate<StoreApi<StateType>, Mutators>;
+
+export type TCreatedStoreType<
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+> = UseBoundStoreWithEqualityFn<TCreatedStoreMutateType<StateType, Mutators>>;
+
+export type MiddlewareOption<T> =
+  | boolean
+  | (T & {
+      enabled?: boolean;
+    });
+
+export type ArrayElement<T> = T extends (infer E)[] ? E : never;
+
+export type RemoveNever<T> = T extends [infer First, ...infer Rest]
+  ? [First] extends [never]
+    ? RemoveNever<Rest>
+    : [First, ...RemoveNever<Rest>]
+  : [];
diff --git a/packages/zustand-x/src/utils/extendActions.ts b/packages/zustand-x/src/utils/extendActions.ts
index 32ba40c..c6de43c 100644
--- a/packages/zustand-x/src/utils/extendActions.ts
+++ b/packages/zustand-x/src/utils/extendActions.ts
@@ -1,32 +1,21 @@
-import { ActionBuilder, State, StateActions, StoreApi } from '../types';
+import { StoreMutatorIdentifier } from 'zustand';
+
+import { TActionBuilder, TState, TStateApiForBuilder } from '../types';
 
 export const extendActions = <
-  AB extends ActionBuilder<TName, T, StateActions<T> & TActions, TSelectors>,
-  TName extends string,
-  T extends State = {},
-  TActions = {},
-  TSelectors = {},
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+  TActions,
+  TSelectors,
+  Builder extends TActionBuilder<StateType, Mutators, TActions, TSelectors>,
 >(
-  builder: AB,
-  api: StoreApi<TName, T, StateActions<T> & TActions, TSelectors>
-): StoreApi<
-  TName,
-  T,
-  StateActions<T> & TActions & ReturnType<AB>,
-  TSelectors
-> => {
+  builder: Builder,
+  api: TStateApiForBuilder<StateType, Mutators, TActions, TSelectors>
+) => {
   const actions = builder(api.set, api.get, api);
-  // Object.keys(actions).forEach((key) => {
-  //   actions[key] = (...args: any[]) => {
-  //     // React batch
-  //     batch(() => {
-  //       actions[key](...args);
-  //     });
-  //   };
-  // });
 
   return {
-    ...(api as any),
+    ...api,
     set: {
       ...api.set,
       ...actions,
diff --git a/packages/zustand-x/src/utils/extendSelectors.ts b/packages/zustand-x/src/utils/extendSelectors.ts
index 3586a61..b72ecc7 100644
--- a/packages/zustand-x/src/utils/extendSelectors.ts
+++ b/packages/zustand-x/src/utils/extendSelectors.ts
@@ -1,65 +1,56 @@
-import {
-  SelectorBuilder,
-  State,
-  StateActions,
-  StoreApi,
-  StoreApiGet,
-  StoreApiUse,
-  StoreApiUseTracked,
-} from '../types';
+import { StoreMutatorIdentifier } from 'zustand';
+
+import { TSelectorBuilder, TState, TStateApiForBuilder } from '../types';
 
 export const extendSelectors = <
-  CB extends SelectorBuilder<TName, T, TActions, TSelectors>,
-  TName extends string,
-  T extends State = {},
-  TActions = {},
-  TSelectors = {},
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+  TActions,
+  TSelectors,
+  Builder extends TSelectorBuilder<StateType, Mutators, TActions, TSelectors>,
 >(
-  builder: CB,
-  api: StoreApi<TName, T, StateActions<T> & TActions, TSelectors>
-): StoreApi<
-  TName,
-  T,
-  StateActions<T> & TActions,
-  TSelectors & ReturnType<CB>
-> => {
+  builder: Builder,
+  api: TStateApiForBuilder<StateType, Mutators, TActions, TSelectors>
+) => {
   const use = {
     ...api.use,
-  } as StoreApiUse<T, TSelectors & ReturnType<CB>>;
+  };
 
   const useTracked = {
     ...api.useTracked,
-  } as StoreApiUseTracked<T, TSelectors & ReturnType<CB>>;
+  };
 
   const get = {
     ...api.get,
-  } as StoreApiGet<T, TSelectors & ReturnType<CB>>;
+  };
 
-  Object.keys(builder(api.store.getState(), api.get, api)).forEach((key) => {
-    // @ts-ignore
-    use[key] = (...args: any[]) =>
-      api.useStore((state) => {
-        const selectors = builder(state, api.get, api);
-        const selector = selectors[key];
-        return selector(...args);
-      });
-    // @ts-ignore
-    useTracked[key] = (...args: any[]) => {
-      const trackedState = api.useTrackedStore();
-      const selectors = builder(trackedState, api.get, api);
-      const selector = selectors[key];
-      return selector(...args);
-    };
-    // @ts-ignore
-    get[key] = (...args: any[]) => {
-      const selectors = builder(api.store.getState(), api.get, api);
-      const selector = selectors[key];
-      return selector(...args);
-    };
+  Object.entries(builder(api.set, api.get, api)).forEach(([key, selector]) => {
+    //@ts-ignore
+    use[key] =
+      typeof selector === 'function'
+        ? (...args: unknown[]) =>
+            api.useStore(() => {
+              return selector(...args);
+            })
+        : selector;
+    //@ts-ignore
+    useTracked[key] =
+      typeof selector === 'function'
+        ? (...args: unknown[]) => {
+            return selector(...args);
+          }
+        : selector;
+    //@ts-ignore
+    get[key] =
+      typeof selector === 'function'
+        ? (...args: unknown[]) => {
+            return selector(...args);
+          }
+        : selector;
   });
 
   return {
-    ...(api as any),
+    ...api,
     get,
     use,
     useTracked,
diff --git a/packages/zustand-x/src/utils/generateStateActions.ts b/packages/zustand-x/src/utils/generateStateActions.ts
index 28da8e9..ae0071a 100644
--- a/packages/zustand-x/src/utils/generateStateActions.ts
+++ b/packages/zustand-x/src/utils/generateStateActions.ts
@@ -1,21 +1,35 @@
-import { ImmerStoreApi, SetRecord, State } from '../types';
+import { StoreMutatorIdentifier } from 'zustand';
 
-export const generateStateActions = <T extends State>(
-  store: ImmerStoreApi<T>,
-  storeName: string
+import { TCreatedStoreType, TSetStoreRecord, TState } from '../types';
+
+export const generateStateActions = <
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+>(
+  store: TCreatedStoreType<StateType, Mutators>,
+  storeName?: string,
+  isMutative?: boolean
 ) => {
-  const actions: SetRecord<T> = {} as any;
+  const actions: TSetStoreRecord<StateType> = {} as TSetStoreRecord<StateType>;
 
-  Object.keys((store as any).getState()).forEach((key) => {
-    actions[key as keyof T] = (value) => {
-      const prevValue = store.getState()[key as keyof T];
+  Object.keys(store.getState() || {}).forEach((key) => {
+    const typedKey = key as keyof StateType;
+    actions[typedKey] = (value) => {
+      const prevValue = store.getState()[typedKey];
       if (prevValue === value) return;
-
       const actionKey = key.replace(/^\S/, (s) => s.toUpperCase());
-      store.setState((draft) => {
-        // @ts-ignore
-        draft[key] = value;
-      }, `@@${storeName}/set${actionKey}`);
+      const debugLog = storeName ? `@@${storeName}/set${actionKey}` : undefined;
+
+      //@ts-ignore
+      store.setState?.(
+        isMutative
+          ? (draft: StateType) => {
+              draft[typedKey] = value;
+            }
+          : { [typedKey]: value },
+        undefined,
+        debugLog
+      );
     };
   });
 
diff --git a/packages/zustand-x/src/utils/generateStateGetSelectors.ts b/packages/zustand-x/src/utils/generateStateGetSelectors.ts
index aa3c2f4..daac552 100644
--- a/packages/zustand-x/src/utils/generateStateGetSelectors.ts
+++ b/packages/zustand-x/src/utils/generateStateGetSelectors.ts
@@ -1,13 +1,19 @@
-import { GetRecord, ImmerStoreApi, State } from '../types';
+import { StoreMutatorIdentifier } from 'zustand';
 
-export const generateStateGetSelectors = <T extends State>(
-  store: ImmerStoreApi<T>
+import { TCreatedStoreType, TGetStoreRecord, TState } from '../types';
+
+export const generateStateGetSelectors = <
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+>(
+  store: TCreatedStoreType<StateType, Mutators>
 ) => {
-  const selectors: GetRecord<T> = {} as any;
+  const selectors: TGetStoreRecord<StateType> =
+    {} as TGetStoreRecord<StateType>;
 
-  Object.keys((store as any).getState()).forEach((key) => {
-    // selectors[`get${capitalize(key)}`] = () => store.getState()[key as keyof T];
-    selectors[key as keyof T] = () => store.getState()[key as keyof T];
+  Object.keys(store.getState() || {}).forEach((key) => {
+    selectors[key as keyof StateType] = () =>
+      store.getState()[key as keyof StateType];
   });
 
   return selectors;
diff --git a/packages/zustand-x/src/utils/generateStateHookSelectors.ts b/packages/zustand-x/src/utils/generateStateHookSelectors.ts
index 582fef6..25506ee 100644
--- a/packages/zustand-x/src/utils/generateStateHookSelectors.ts
+++ b/packages/zustand-x/src/utils/generateStateHookSelectors.ts
@@ -1,21 +1,26 @@
+import { StoreMutatorIdentifier } from 'zustand';
+
 import {
-  EqualityChecker,
-  GetRecord,
-  ImmerStoreApi,
-  State,
-  UseImmerStore,
+  TCreatedStoreType,
+  TEqualityChecker,
+  TGetStoreEqualityRecord,
+  TState,
 } from '../types';
 
-export const generateStateHookSelectors = <T extends State>(
-  useStore: UseImmerStore<T>,
-  store: ImmerStoreApi<T>
+export const generateStateHookSelectors = <
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+>(
+  useStore: TCreatedStoreType<StateType, Mutators>
 ) => {
-  const selectors: GetRecord<T> = {} as any;
+  const selectors: TGetStoreEqualityRecord<StateType> =
+    {} as TGetStoreEqualityRecord<StateType>;
 
-  Object.keys((store as any).getState()).forEach((key) => {
-    // selectors[`use${capitalize(key)}`] = () =>
-    selectors[key as keyof T] = (equalityFn?: EqualityChecker<T[keyof T]>) => {
-      return useStore((state: T) => state[key as keyof T], equalityFn);
+  Object.keys(useStore.getState() || {}).forEach((key) => {
+    selectors[key as keyof StateType] = (
+      equalityFn?: TEqualityChecker<StateType[keyof StateType]>
+    ) => {
+      return useStore((state) => state[key as keyof StateType], equalityFn);
     };
   });
 
diff --git a/packages/zustand-x/src/utils/generateStateTrackedHooksSelectors.ts b/packages/zustand-x/src/utils/generateStateTrackedHooksSelectors.ts
index 34d3710..ac791bd 100644
--- a/packages/zustand-x/src/utils/generateStateTrackedHooksSelectors.ts
+++ b/packages/zustand-x/src/utils/generateStateTrackedHooksSelectors.ts
@@ -1,14 +1,20 @@
-import { GetRecord, ImmerStoreApi, State } from '../types';
+import { StoreMutatorIdentifier } from 'zustand';
 
-export const generateStateTrackedHooksSelectors = <T extends State>(
-  useTrackedStore: () => T,
-  store: ImmerStoreApi<T>
+import { TCreatedStoreType, TGetStoreRecord, TState } from '../types';
+
+export const generateStateTrackedHooksSelectors = <
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][],
+>(
+  useTrackedStore: () => StateType,
+  store: TCreatedStoreType<StateType, Mutators>
 ) => {
-  const selectors: GetRecord<T> = {} as any;
+  const selectors: TGetStoreRecord<StateType> =
+    {} as TGetStoreRecord<StateType>;
 
-  Object.keys((store as any).getState()).forEach((key) => {
-    selectors[key as keyof T] = () => {
-      return useTrackedStore()[key as keyof T];
+  Object.keys(store.getState() || {}).forEach((key) => {
+    selectors[key as keyof StateType] = () => {
+      return useTrackedStore()[key as keyof StateType];
     };
   });
 
diff --git a/packages/zustand-x/src/utils/helpers.ts b/packages/zustand-x/src/utils/helpers.ts
new file mode 100644
index 0000000..53ea0fe
--- /dev/null
+++ b/packages/zustand-x/src/utils/helpers.ts
@@ -0,0 +1,16 @@
+import { MiddlewareOption } from '../types';
+
+export const getOptions = <T extends MiddlewareOption<object> | undefined>(
+  option: T,
+  fallbackEnabled: boolean = false
+) => {
+  const isBooleanValue = typeof option === 'boolean';
+  const { enabled, ...config } = (
+    isBooleanValue ? {} : option || {}
+  ) as Exclude<T, boolean | undefined>;
+  const isValueProvided = isBooleanValue ? option : enabled;
+  return {
+    enabled: isValueProvided ?? fallbackEnabled,
+    ...config,
+  };
+};
diff --git a/packages/zustand-x/src/utils/index.ts b/packages/zustand-x/src/utils/index.ts
deleted file mode 100644
index 0b50434..0000000
--- a/packages/zustand-x/src/utils/index.ts
+++ /dev/null
@@ -1,13 +0,0 @@
-/**
- * @file Automatically generated by barrelsby.
- */
-
-export * from './extendActions';
-export * from './extendSelectors';
-export * from './generateStateActions';
-export * from './generateStateGetSelectors';
-export * from './generateStateHookSelectors';
-export * from './generateStateTrackedHooksSelectors';
-export * from './mapValuesKey';
-export * from './pipe';
-export * from './storeFactory';
diff --git a/packages/zustand-x/src/utils/mapValuesKey.ts b/packages/zustand-x/src/utils/mapValuesKey.ts
index 7953431..6291080 100644
--- a/packages/zustand-x/src/utils/mapValuesKey.ts
+++ b/packages/zustand-x/src/utils/mapValuesKey.ts
@@ -1,33 +1,12 @@
 import mapValues from 'lodash.mapvalues';
 
+import { TStateApi } from '../types';
+
 export const mapValuesKey = <
-  VK extends string,
+  VK extends keyof TStateApi<any, any, any, any>,
   T extends Record<VK, any>,
   R extends Record<keyof R, T>,
 >(
   key: VK,
   obj: R
 ) => mapValues(obj, (value) => value[key]) as { [K in keyof R]: R[K][VK] };
-
-// export const capitalize = (s: string) => s.charAt(0).toUpperCase() + s.slice(1);
-//
-// type ValueOf<T> = T[keyof T];
-//
-// // todo: hard to map values to key
-// export const createRootStore = <
-//   K extends keyof Input,
-//   Input extends Record<K, any>
-// >(
-//   stores: Input
-// ) => {
-//   const rootStore = {};
-//
-//   Object.keys(stores).forEach((key) => {
-//     const store = stores[key];
-//     rootStore[store.name] = store;
-//   });
-//
-//   return rootStore as {
-//     [P in ValueOf<{ [K in keyof Input]: Input[K]['name'] }>]: Input[P];
-//   };
-// };
diff --git a/packages/zustand-x/src/utils/pipe.ts b/packages/zustand-x/src/utils/pipe.ts
deleted file mode 100644
index a0db1a3..0000000
--- a/packages/zustand-x/src/utils/pipe.ts
+++ /dev/null
@@ -1,4247 +0,0 @@
-export function pipe<T0>(x0: T0): T0;
-export function pipe<T0, T1>(x0: T0, f1?: (x: T0) => T1): T1;
-export function pipe<T0, T1, T2>(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2
-): T2;
-export function pipe<T0, T1, T2, T3>(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3
-): T3;
-export function pipe<T0, T1, T2, T3, T4>(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4
-): T4;
-export function pipe<T0, T1, T2, T3, T4, T5>(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5
-): T5;
-export function pipe<T0, T1, T2, T3, T4, T5, T6>(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6
-): T6;
-export function pipe<T0, T1, T2, T3, T4, T5, T6, T7>(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7
-): T7;
-export function pipe<T0, T1, T2, T3, T4, T5, T6, T7, T8>(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8
-): T8;
-export function pipe<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9>(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9
-): T9;
-export function pipe<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10
-): T10;
-export function pipe<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11
-): T11;
-export function pipe<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12>(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12
-): T12;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13
-): T13;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14
-): T14;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15
-): T15;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16
-): T16;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17
-): T17;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18
-): T18;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19
-): T19;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20
-): T20;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21
-): T21;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22
-): T22;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23
-): T23;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24
-): T24;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25
-): T25;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26
-): T26;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27
-): T27;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28
-): T28;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29
-): T29;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30
-): T30;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31
-): T31;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32
-): T32;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33
-): T33;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34
-): T34;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35
-): T35;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36
-): T36;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37
-): T37;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38
-): T38;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39
-): T39;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40
-): T40;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41
-): T41;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42
-): T42;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43
-): T43;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44
-): T44;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45
-): T45;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46
-): T46;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47
-): T47;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48
-): T48;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49
-): T49;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50
-): T50;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51
-): T51;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52
-): T52;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
-  T53,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52,
-  f53?: (x: T52) => T53
-): T53;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
-  T53,
-  T54,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52,
-  f53?: (x: T52) => T53,
-  f54?: (x: T53) => T54
-): T54;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
-  T53,
-  T54,
-  T55,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52,
-  f53?: (x: T52) => T53,
-  f54?: (x: T53) => T54,
-  f55?: (x: T54) => T55
-): T55;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
-  T53,
-  T54,
-  T55,
-  T56,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52,
-  f53?: (x: T52) => T53,
-  f54?: (x: T53) => T54,
-  f55?: (x: T54) => T55,
-  f56?: (x: T55) => T56
-): T56;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
-  T53,
-  T54,
-  T55,
-  T56,
-  T57,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52,
-  f53?: (x: T52) => T53,
-  f54?: (x: T53) => T54,
-  f55?: (x: T54) => T55,
-  f56?: (x: T55) => T56,
-  f57?: (x: T56) => T57
-): T57;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
-  T53,
-  T54,
-  T55,
-  T56,
-  T57,
-  T58,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52,
-  f53?: (x: T52) => T53,
-  f54?: (x: T53) => T54,
-  f55?: (x: T54) => T55,
-  f56?: (x: T55) => T56,
-  f57?: (x: T56) => T57,
-  f58?: (x: T57) => T58
-): T58;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
-  T53,
-  T54,
-  T55,
-  T56,
-  T57,
-  T58,
-  T59,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52,
-  f53?: (x: T52) => T53,
-  f54?: (x: T53) => T54,
-  f55?: (x: T54) => T55,
-  f56?: (x: T55) => T56,
-  f57?: (x: T56) => T57,
-  f58?: (x: T57) => T58,
-  f59?: (x: T58) => T59
-): T59;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
-  T53,
-  T54,
-  T55,
-  T56,
-  T57,
-  T58,
-  T59,
-  T60,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52,
-  f53?: (x: T52) => T53,
-  f54?: (x: T53) => T54,
-  f55?: (x: T54) => T55,
-  f56?: (x: T55) => T56,
-  f57?: (x: T56) => T57,
-  f58?: (x: T57) => T58,
-  f59?: (x: T58) => T59,
-  f60?: (x: T59) => T60
-): T60;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
-  T53,
-  T54,
-  T55,
-  T56,
-  T57,
-  T58,
-  T59,
-  T60,
-  T61,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52,
-  f53?: (x: T52) => T53,
-  f54?: (x: T53) => T54,
-  f55?: (x: T54) => T55,
-  f56?: (x: T55) => T56,
-  f57?: (x: T56) => T57,
-  f58?: (x: T57) => T58,
-  f59?: (x: T58) => T59,
-  f60?: (x: T59) => T60,
-  f61?: (x: T60) => T61
-): T61;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
-  T53,
-  T54,
-  T55,
-  T56,
-  T57,
-  T58,
-  T59,
-  T60,
-  T61,
-  T62,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52,
-  f53?: (x: T52) => T53,
-  f54?: (x: T53) => T54,
-  f55?: (x: T54) => T55,
-  f56?: (x: T55) => T56,
-  f57?: (x: T56) => T57,
-  f58?: (x: T57) => T58,
-  f59?: (x: T58) => T59,
-  f60?: (x: T59) => T60,
-  f61?: (x: T60) => T61,
-  f62?: (x: T61) => T62
-): T62;
-export function pipe<
-  T0,
-  T1,
-  T2,
-  T3,
-  T4,
-  T5,
-  T6,
-  T7,
-  T8,
-  T9,
-  T10,
-  T11,
-  T12,
-  T13,
-  T14,
-  T15,
-  T16,
-  T17,
-  T18,
-  T19,
-  T20,
-  T21,
-  T22,
-  T23,
-  T24,
-  T25,
-  T26,
-  T27,
-  T28,
-  T29,
-  T30,
-  T31,
-  T32,
-  T33,
-  T34,
-  T35,
-  T36,
-  T37,
-  T38,
-  T39,
-  T40,
-  T41,
-  T42,
-  T43,
-  T44,
-  T45,
-  T46,
-  T47,
-  T48,
-  T49,
-  T50,
-  T51,
-  T52,
-  T53,
-  T54,
-  T55,
-  T56,
-  T57,
-  T58,
-  T59,
-  T60,
-  T61,
-  T62,
-  T63,
->(
-  x0: T0,
-  f1?: (x: T0) => T1,
-  f2?: (x: T1) => T2,
-  f3?: (x: T2) => T3,
-  f4?: (x: T3) => T4,
-  f5?: (x: T4) => T5,
-  f6?: (x: T5) => T6,
-  f7?: (x: T6) => T7,
-  f8?: (x: T7) => T8,
-  f9?: (x: T8) => T9,
-  f10?: (x: T9) => T10,
-  f11?: (x: T10) => T11,
-  f12?: (x: T11) => T12,
-  f13?: (x: T12) => T13,
-  f14?: (x: T13) => T14,
-  f15?: (x: T14) => T15,
-  f16?: (x: T15) => T16,
-  f17?: (x: T16) => T17,
-  f18?: (x: T17) => T18,
-  f19?: (x: T18) => T19,
-  f20?: (x: T19) => T20,
-  f21?: (x: T20) => T21,
-  f22?: (x: T21) => T22,
-  f23?: (x: T22) => T23,
-  f24?: (x: T23) => T24,
-  f25?: (x: T24) => T25,
-  f26?: (x: T25) => T26,
-  f27?: (x: T26) => T27,
-  f28?: (x: T27) => T28,
-  f29?: (x: T28) => T29,
-  f30?: (x: T29) => T30,
-  f31?: (x: T30) => T31,
-  f32?: (x: T31) => T32,
-  f33?: (x: T32) => T33,
-  f34?: (x: T33) => T34,
-  f35?: (x: T34) => T35,
-  f36?: (x: T35) => T36,
-  f37?: (x: T36) => T37,
-  f38?: (x: T37) => T38,
-  f39?: (x: T38) => T39,
-  f40?: (x: T39) => T40,
-  f41?: (x: T40) => T41,
-  f42?: (x: T41) => T42,
-  f43?: (x: T42) => T43,
-  f44?: (x: T43) => T44,
-  f45?: (x: T44) => T45,
-  f46?: (x: T45) => T46,
-  f47?: (x: T46) => T47,
-  f48?: (x: T47) => T48,
-  f49?: (x: T48) => T49,
-  f50?: (x: T49) => T50,
-  f51?: (x: T50) => T51,
-  f52?: (x: T51) => T52,
-  f53?: (x: T52) => T53,
-  f54?: (x: T53) => T54,
-  f55?: (x: T54) => T55,
-  f56?: (x: T55) => T56,
-  f57?: (x: T56) => T57,
-  f58?: (x: T57) => T58,
-  f59?: (x: T58) => T59,
-  f60?: (x: T59) => T60,
-  f61?: (x: T60) => T61,
-  f62?: (x: T61) => T62,
-  f63?: (x: T62) => T63
-): T63;
-
-export function pipe(x: any, ...fns: any[]) {
-  return fns.reduce((y: any, fn) => fn(y), x);
-}
diff --git a/packages/zustand-x/src/utils/storeFactory.ts b/packages/zustand-x/src/utils/storeFactory.ts
index abdf748..b490725 100644
--- a/packages/zustand-x/src/utils/storeFactory.ts
+++ b/packages/zustand-x/src/utils/storeFactory.ts
@@ -1,28 +1,18 @@
-import {
-  ActionBuilder,
-  SelectorBuilder,
-  State,
-  StateActions,
-  StoreApi,
-} from '../types';
+import { StoreMutatorIdentifier } from 'zustand';
+
+import { TState, TStateApi, TStateApiForBuilder } from '../types';
 import { extendActions } from './extendActions';
 import { extendSelectors } from './extendSelectors';
 
 export const storeFactory = <
-  TName extends string,
-  T extends State,
-  TActions = {},
-  TSelectors = {},
+  StateType extends TState,
+  Mutators extends [StoreMutatorIdentifier, unknown][] = [],
 >(
-  api: StoreApi<TName, T, StateActions<T> & TActions, TSelectors>
-) => {
+  api: TStateApiForBuilder<StateType, Mutators>
+): TStateApi<StateType, Mutators> => {
   return {
     ...api,
-    extendSelectors: (
-      builder: SelectorBuilder<TName, T, TActions, TSelectors>
-    ) => storeFactory(extendSelectors(builder, api)),
-    extendActions: (
-      builder: ActionBuilder<TName, T, StateActions<T> & TActions, TSelectors>
-    ) => storeFactory(extendActions(builder, api)),
-  };
+    extendSelectors: (builder) => storeFactory(extendSelectors(builder, api)),
+    extendActions: (builder) => storeFactory(extendActions(builder, api)),
+  } as TStateApi<StateType, Mutators>;
 };
diff --git a/yarn.lock b/yarn.lock
index d8a4253..43088d9 100644
--- a/yarn.lock
+++ b/yarn.lock
@@ -8074,6 +8074,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"mutative@npm:1.1.0":
+  version: 1.1.0
+  resolution: "mutative@npm:1.1.0"
+  checksum: 7044fa8113c6920dec1e7a7dd1687e06c58054e777f343a18d5cc01905b6075db6b79b8f7054046218e15c974d5da3c028cfb23fa08e4577ff5d0af9c3063d80
+  languageName: node
+  linkType: hard
+
 "mz@npm:^2.7.0":
   version: 2.7.0
   resolution: "mz@npm:2.7.0"
@@ -9013,7 +9020,7 @@ __metadata:
   languageName: node
   linkType: hard
 
-"react-is@npm:18.2.0, react-is@npm:^16.12.0 || ^17.0.0 || ^18.0.0, react-is@npm:^18.0.0, react-is@npm:^18.2.0":
+"react-is@npm:^16.12.0 || ^17.0.0 || ^18.0.0, react-is@npm:^18.0.0, react-is@npm:^18.2.0":
   version: 18.2.0
   resolution: "react-is@npm:18.2.0"
   checksum: 6eb5e4b28028c23e2bfcf73371e72cd4162e4ac7ab445ddae2afe24e347a37d6dc22fae6e1748632cd43c6d4f9b8f86dcf26bf9275e1874f436d129952528ae0
@@ -9539,7 +9546,6 @@ __metadata:
     prettier: "npm:^3.1.0"
     react: "npm:^18.2.0"
     react-dom: "npm:^18.2.0"
-    react-is: "npm:18.2.0"
     react-test-renderer: "npm:18.2.0"
     rimraf: "npm:^5.0.5"
     ts-jest: "npm:^29.1.1"
@@ -9548,7 +9554,7 @@ __metadata:
     turbowatch: "npm:2.29.4"
     typedoc: "npm:^0.25.4"
     typescript: "npm:5.3.3"
-    zustand: "npm:^4.4.7"
+    zustand: "npm:5.0.2"
   languageName: unknown
   linkType: soft
 
@@ -11134,12 +11140,12 @@ __metadata:
   languageName: node
   linkType: hard
 
-"use-sync-external-store@npm:1.2.0":
-  version: 1.2.0
-  resolution: "use-sync-external-store@npm:1.2.0"
+"use-sync-external-store@npm:1.4.0":
+  version: 1.4.0
+  resolution: "use-sync-external-store@npm:1.4.0"
   peerDependencies:
-    react: ^16.8.0 || ^17.0.0 || ^18.0.0
-  checksum: ac4814e5592524f242921157e791b022efe36e451fe0d4fd4d204322d5433a4fc300d63b0ade5185f8e0735ded044c70bcf6d2352db0f74d097a238cebd2da02
+    react: ^16.8.0 || ^17.0.0 || ^18.0.0 || ^19.0.0
+  checksum: ec011a5055962c0f6b509d6e78c0b143f8cd069890ae370528753053c55e3b360d3648e76cfaa854faa7a59eb08d6c5fb1015e60ffde9046d32f5b2a295acea5
   languageName: node
   linkType: hard
 
@@ -11701,21 +11707,22 @@ __metadata:
   dependencies:
     immer: "npm:^10.0.3"
     lodash.mapvalues: "npm:^4.6.0"
+    mutative: "npm:1.1.0"
     react-tracked: "npm:^1.7.11"
+    use-sync-external-store: "npm:1.4.0"
   peerDependencies:
-    zustand: ">=4.3.9"
+    zustand: ">=5.0.2"
   languageName: unknown
   linkType: soft
 
-"zustand@npm:^4.4.7":
-  version: 4.4.7
-  resolution: "zustand@npm:4.4.7"
-  dependencies:
-    use-sync-external-store: "npm:1.2.0"
+"zustand@npm:5.0.2":
+  version: 5.0.2
+  resolution: "zustand@npm:5.0.2"
   peerDependencies:
-    "@types/react": ">=16.8"
-    immer: ">=9.0"
-    react: ">=16.8"
+    "@types/react": ">=18.0.0"
+    immer: ">=9.0.6"
+    react: ">=18.0.0"
+    use-sync-external-store: ">=1.2.0"
   peerDependenciesMeta:
     "@types/react":
       optional: true
@@ -11723,7 +11730,9 @@ __metadata:
       optional: true
     react:
       optional: true
-  checksum: de507f09eb79039d74d282df6ffac6c7fb6b840ca3620b0392bcbe3f9049902802db5448b4002e6fcb32f903f7ec1aea14602049eb2a3a8410bfea7186d72fb7
+    use-sync-external-store:
+      optional: true
+  checksum: d9bb048d8129fd1aaed3fda974991b15a7c9c31ef06f78e9bf5c4b3678f249850764a6dadb8c93127257d07831995cf7a048281658a37c5d1143ad6f397fe37c
   languageName: node
   linkType: hard