Composable Haskell state machines with Crem

Here's an internal Tweag knowledge-sharing talk in which Marco Perone presents Crem, the Haskell library he has been building for working easily with state machines. He explains the general idea of state machines, some of the design considerations, and shows how Crem uses the Haskell type system to gain useful correctness and self-description properties.