Can I define a Typescript map having a value constraint corresponding with each value's key?

Question

In this playground I would like to create a map containing at most a single action of each type in the Action union. Each of the unioned types is differentiated by having a