The type of return value of the effect function.
The type of the state machine definition.
The type of state value.
The type of return value of the effect function.