Adding Traces to a Lazy Monadic Evaluator | Publicación