The type of the ID for the value
The type of value being managed by the state machine
The type of state, must extend State