Exhaustive Type Checking in Redux
medium.com