Type Alias ExpectedInputType<Dm, K>

ExpectedInputType: (
    Dm[keyof Dm] extends (deps: infer Deps, add: AddDisposable) => any
        ? K extends keyof Deps ? Deps[K] : never
        : never
) extends infer Union
    ? IsNever<Union> extends true ? any : Union
    : never