Make an attempt at a model of the programming algebra in Haskell
Add finite automata example