Type Alias NarrowCallside<T>

NarrowCallside: {
    [P in keyof T]: T[P] extends (...args: any[]) => T
        ? ReturnType<T[P]> extends T
            ? (
                ...args: Parameters<T[P]>,
            ) => NarrowCallside<NarrowCallsideExcludeMethod<T, P>>
            : T[P]
        : T[P]
}