Tag
The Effekt programming language blog post demonstrates how to implement recursion schemes (particularly catamorphisms) using effects and handlers instead of traditional functor-based approaches, avoiding the need for infinitely recursive types.