Interface ScreenStackEntry<Screens, K>

interface ScreenStackEntry<
    Screens extends Record<string, ScreenDefinition<any, any>>,
    K extends keyof Screens = keyof Screens,
> {
    config: Screens[K] extends ScreenDefinition<
        C,
        any,
        default<any, string, string, string, string>,
    >
        ? Readonly<C>
        : never;
    name: K;
    state: Screens[K] extends ScreenDefinition<
        any,
        S,
        default<any, string, string, string, string>,
    >
        ? S
        : never;
}