Type Alias SafeExtendShape<Base, Ext>

SafeExtendShape: {
    [K in keyof Ext]: K extends keyof Base
        ? output<Ext[K]> extends output<Base[K]>
            ? input<Ext[K]> extends input<Base[K]> ? Ext[K] : never
            : never
        : Ext[K]
}