DivinedPayloadContext: Context<DivinedPayloadState & ContextExState> = ...