[Haskell-cafe] Blog post about modelling state machines with free categories