The final encoding of #haskell freer monads is both faster and more intuitive than the initial encoding. As a ReaderT IO person, I'm convinced final freer is a good alternative for most use cases
Kind of weird that initial Free was the first variant to become popular, given that it's slow and forces the user to store the continuation in their own datatype
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !