I am not so fond of the event-based state machines out there, so I created a simpler, functional, type-safe, intuitive implementation of state machine