A simple state machine with *good enough* build time typechecking support. - View it on GitHub