I don't think the author of the article has exactly the same experience as you. I think the article comes out of frustration of having had his favourite effect

I don't think the author of the article has exactly the same experience as you. I think the article comes out of frustration of having had his favourite effect system "hierarchical free monads" looked on disfavourably in recent community discussion.