export type ActionCreator<T, B> = {
  [K in keyof T]: T[K] extends (...args: infer U) => infer R
    ? Include<R, B, U>
    : never;
};

type Include<A, B, U extends any[]> = B extends A
  ? (...args: U) => { type: string; args: U }
  : never;

export type ValidState<A, B> = B extends A ? B : never;