We would need a new section explaining how I designed cross-cutting Types global project namespace to be easily reused across the project as a module encapsulating all the types in the application.
I leveraged the inversion of control principle, so instead of defining all the types in one place (in Types module, it's the responsibility of modules (which are owners of that particular type annotations) to extend the Types namespace.

The main benefits are:

• simplicity to extend
• easy maintenance - for instance when you remove some application module you also delete the extension point because it's colocated with the module
• nicely and cleanly imported in type consumers

import Types from 'Types';
// reducer(state: Types.RootState , action: Types.RootAction) => ...
// mapDispatchToProps(dispatch: Dispatch<Types.RootAction>)
// Epic<Types.RootAction, Types.RootState, Types.Services>