Bruno Oliveira and I are working on a functional pearl called The Monad Zipper (*). You know how dealing with monad transformers can be quite awkward -- especially when developing highly modular programs where every component comes with its own effects?Well, we bring relief in this situation by applying Huet's zipper to a type-level data structure: the monad stack.We're submitting to ICFP on April 2, and would greatly appreciate your feedback on the current draft. Please let us know what you think of the presented approach, the clarity and style of writing, examples of situations where you could have used the monad zipper, ...(*) not to be confused with the zipper monad
