We build up the notion of regular and inverse semigroups in Haskell and start to explore some of their extra structure, then dive a little into incremental parsing, a particularly pragmatic problem domain where they arise more often than you'd think. -- Watch live at / ekmett