Type Alias Mod<Config>

Mod: {
    [M in keyof Config]: Config[M] extends (...args: any[]) => any
        ? Config[M] extends Fn<infer P, infer R> ? Fn<P, R> : never
        : Config[M] extends object ? Mod<Config[M]> : Config[M]
}

Recursive type representing a module structure where functions are preserved and nested objects are treated as sub-modules.