tracer

Transformers for Functor, Applicative and Monad types that add tracing facilities for computation steps and applicative nesting. Simplifies print-based debugging.