You can use type system to ensure that there are no wrong state transitions, e.g. you could transit to another state only if you are authorized.