Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell
Why do you think that https://github.com/typedbyte/effet is a good alternative to hierarchical-free-monads-the-most-developed-approach-in-haskell