Reactive State Machine with Bacon