diff --git a/src/index.ts b/src/index.ts
index 0096964..a8ce1bd 100644
--- a/src/index.ts
+++ b/src/index.ts
@@ -25,27 +25,29 @@ type InferState<Configs> = Configs extends [
     } & InferState<Rest>
   : unknown;
 
-type IsDuplicated<Name, Names extends unknown[]> = Names extends [
-  infer One,
+type InferStateNames<Configs> = Configs extends [
+  SliceConfig<infer Name, infer Value, infer _Actions>,
   ...infer Rest,
 ]
-  ? One extends Name
-    ? true
-    : IsDuplicated<Name, Rest>
-  : false;
+  ? { [name in Name]: Value } & InferStateNames<Rest>
+  : unknown;
+
+type IsDuplicated<PrevConfigs, Config> =
+  Config extends SliceConfig<infer Name, infer _Value, infer Actions>
+    ? Extract<keyof InferState<PrevConfigs>, Name> extends never
+      ? Extract<keyof InferStateNames<PrevConfigs>, keyof Actions> extends never
+        ? false
+        : true
+      : true
+    : false;
 
 type HasDuplicatedNames<
   Configs,
-  Names extends string[] = [],
-> = Configs extends [
-  SliceConfig<infer Name, infer _Value, infer Actions>,
-  ...infer Rest,
-]
-  ? Name extends Names[number]
+  PrevConfigs extends Array<unknown> = [],
+> = Configs extends [infer One, ...infer Rest]
+  ? IsDuplicated<PrevConfigs, One> extends true
     ? true
-    : IsDuplicated<keyof Actions, Names> extends true
-      ? true
-      : HasDuplicatedNames<Rest, [Name, ...Names]>
+    : HasDuplicatedNames<Rest, [...PrevConfigs, One]>
   : false;
 
 type HasDuplicatedArgs<Configs, State> = Configs extends [