I have a repo with six sample algorithms of increasing complexity: https://github.com/jasonincanada/stm-haskell