Add tracing info to monadic value. Sample debug info for simple program.