Type-safe effectful state machines in Haskell - View it on GitHub