React is already typesafe.

For Redux I wrote Babydux [0], which is a simplified Redux with the goal of being 100% typesafe. It's the only Redux I've seen with that level of safety.

[0] https://github.com/bcherny/babydux