How to achieve type inference for a reducer function concisely?

Question

There are many examples on typing reducer functions, but they seem too verbose for my liking. I tried to keep it short and simple and wrote my actions and reducer typings as