Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell - View it on GitHub