I experimented a bit with using conditional types to derive React component props types from mapStateToProps and mapDispatchToProps (I named them fromState and actions for brevity). The proof-of-concept with an example is available at https://github.com/tlaitinen/react-redux-typed-connect . Does something like this already exist?