Effectful Recursion Schemes

Interesting! I wonder how working with mutually recursive data structures would look using this approach. That's one of the things that I find quite painful with recursion schemes… now that I think about it, I'd imagine it's not much better than the status quo, alas.