Goal: Add generics so handlers build a payload map and `reduce` accepts only the corresponding discriminated union actions.