instanceof@tg says to YSITD 我自己猜，你的意思是不是這樣： type StateReducer1 = (state: "pet", dispatch: PetDispatcher) => unknown; type StateReducer2 = (state: "color", dispatch: ColorDispatcher) => unknown;