Backtracking, Interleaving, and Terminating Monad Transformers (2005) [pdf]okmij.org71 pointssetra9 years ago