export type PathWrapper<T> = {
    [P in keyof T]: PathWrapper<T[P]>;
};

export interface IPath<T> {
    [0]: keyof T;
    [1]?: keyof T[IPath<T>[0]];
}
export type Path<T> = IPath<T>;

export type KeysOf<T, K extends keyof T> = keyof T[K];

export function path<T>(p: Path<T>) {
    //
}

export interface IShip {
    pilot: {};
}

export interface IState {
    ships: {
        serenity: IShip,
    };
}

path<IState>(["ships"]);